Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 22.12.2016, 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
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 12.01.2017 |
| Erstellungsdatum | 22.12.2016 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2017-18 |
| Identifikator | KITopen-ID: 1000114432 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17 |
| Folge | 12 |