Sign up to save your podcasts
Or
Share 16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020
16 |
0:00:00 Start
0:00:21 Letzte Vorlesung
0:07:22 Wdh.: Greibach-Normalform, Kellerautomat
0:11:54 Kellerautomaten
0:15:10 Beispiel - Greibach-Normalform
0:18:13 Beipiel - Kellerautomat
0:21:23 Beweis: Greibach-Normalform -> NPDA
0:27:20 Beweis: NPDA -> Kontextfreie Grammatik
0:52:53 Zwischenfazit zu kontextfreien Grammatiken
0:59:24 Das Post´sche Korrespondenzproblem
1:06:53 Eindeutigkeit von kontextfreien Grammatiken
1:10:13 Sprache der Korrekten Rechenwege
View all episodes
By Karlsruher Institut für Technologie (KIT)16 |
0:00:00 Start
0:00:21 Letzte Vorlesung
0:07:22 Wdh.: Greibach-Normalform, Kellerautomat
0:11:54 Kellerautomaten
0:15:10 Beispiel - Greibach-Normalform
0:18:13 Beipiel - Kellerautomat
0:21:23 Beweis: Greibach-Normalform -> NPDA
0:27:20 Beweis: NPDA -> Kontextfreie Grammatik
0:52:53 Zwischenfazit zu kontextfreien Grammatiken
0:59:24 Das Post´sche Korrespondenzproblem
1:06:53 Eindeutigkeit von kontextfreien Grammatiken
1:10:13 Sprache der Korrekten Rechenwege
More shows like Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
View all
KIT Campus – Studieren und mehr | 2013
0 Listeners
IEEE International Conference on Robotics and Automation, 2013
0 Listeners
CAD tutorial in Mechanical Design, WT13/14
0 Listeners
KIT Campus – Studieren und mehr | 2014
0 Listeners
Internationales Forum am ZAK
0 Listeners
Transport Phenomena in the Biosphere
0 Listeners
Einführung in die Geophysik 1, WS17/18, Vorlesung
0 Listeners
Edeltalk - mit Dominik & Kevin
20 Listeners
Kulturwissenschaft gestern und morgen
0 Listeners