17: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 23.01.2018
Update: 2018-01-25
Description
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
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
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
