15: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 22.01.2019

Share:

Listens: 0

Theoretische Grundlagen der Informatik, Vorlesung, WS18/19

Education


15 | 0:00:00 Start 0:02:19 weitere Eigenschaften kontextfreier Sprachen 0:12:03 Ein maschinellmodell für Chomsky-2 0:18:04 Greibach-Normalform 0:21:01 Beweis - Ersetzung 0:29:08 Beweis - Definitionen 0:30:57 Beweis - Invarianten 0:36:26 Beweis - Verfahren Schritt 1 0:45:30 Beweis - Verfahren Schritt 2 0:50:05 Beweis - Verfahren Schritt 3 0:53:21 Kellerautomaten 0:59:08 Kellerautomaten - Arbeitsweise 1:15:30 Ein Maschinenmodell für Chomsky-2