Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 22.12.2016, 12

Theoretische Grundlagen der Informatik, Vorlesung, WS16/17

Inhalt bereitgestellt von Karlsruher Institut für Technologie (KIT). Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Karlsruher Institut für Technologie (KIT) oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.

7+ y ago 1:03:41

MP4•Episode-Home

12 | 0:00:00 Starten 0:00:28 Grammatiken 0:01:26 Beispiele 0:05:33 Grammatiken 0:07:12 Bemerkungen 0:08:32 Beispiel 0:09:22 Die Chomsky Hierarchie 0:20:09 Chomsky-0 Grammatiken und Semientscheidbarkeit 0:24:58 Beweis - Beschreibung der Grammatik G 0:28:28 Beweis - Zusammenfassung 0:29:42 Chomsky-0 Grammatiken und Semientscheidbarkeit 0:32:04 Zwischenfazit 0:34:01 Chomsky-3-Grammatiken und reguläre Sprachen 0:35:27 Beweis 0:42:00 Bemerkung 0:43:05 Chomsky-1-Grammatiken bzw. kontextsensitive Sprachen 0:48:01 Satz 0:48:59 Bemerkung 0:49:17 Wiederholung: Das Problem CLIQUE 0:50:02 Satz 0:54:02 Bemerkung 1 0:54:53 Bemerkung 2 0:56:12 Notation 0:57:15 Typ-2 / Kontextfreie Grammatiken 0:57:40 Typ-2 Grammatiken: Beispiel 1 0:58:51 Typ-2 Grammatiken: Beispiel 2 1:00:44 Typ-2 Grammatiken: Beispiel 3

18 Episoden

#Hochschulbildung #Bildung #Vorlesung #Informatik #Berechnungsmodelle #Determinismus #Nichtdeterminismus #Berechenbarkeit #Komplexitätstheorie #Grammatiken #Karlsruher Instituts Für Technologie KIT #Video #KIT #Theorie