Education
17 | 0:00:00 Starten 0:00:24 Übersicht Chomsky-2 0:03:13 WDh.: Greibach-Normalform, Kellerautomat 0:09:07 Beweis 0:47:57 Korollar 0:48:46 Exkurs 0:50:37 Zwischenfazit zu kontextfreien Grammatiken 0:53:05 Unentscheidbare Probleme für kontextfreie Grammatiken 0:55:26 Das Post'sche Korrespondenzproblem 1:03:51 Eindeutigkeit von kontextfreien Grammatiken 1:05:26 Beweisskizze 1:09:07 Sprache der korrekten Rechenwege