DiscoverTheoretische Grundlagen der Informatik, Vorlesung, WS19/2016: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020
16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020

16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020

Update: 2020-01-24
Share

Description

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
Comments 
In Channel
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020

16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020

Prof. Dr. Dorothea Wagner