17: Theoretische Grundlagen der Informatik, Vorlesung, WS 2017/18, 23.01.2018

1:25:38
 
Teilen
 

Manage episode 198837320 series 2078468
Von Karlsruher Institut für Technologie (KIT) entdeckt von Player FM und unserer Community - Das Urheberrecht hat der Herausgeber, nicht Player FM, und die Audiodaten werden direkt von ihren Servern gestreamt. Tippe auf Abonnieren um Updates in Player FM zu verfolgen oder füge die URL in andere Podcast Apps ein.
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

19 Episoden