KIT | KIT-Bibliothek | Impressum | Datenschutz

Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 26.01.2017, 16

Wagner, Dorothea; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:00:37 Kellerautomaten
  • 0:03:49 Satz
  • 0:05:15 Satz (2)
  • 0:06:09 Beweis
  • 0:30:19 Korollar
  • 0:30:41 Übersicht Chomsky-2
  • 0:32:46 Exkurs
  • 0:34:16 Zwischenfazit zu kontextfreien Grammatiken
  • 0:36:10 Satz (3)
  • 0:38:18 Das Post'sche Korrespondenzproblem
  • 0:39:47 Beweis (2)
  • 0:43:33 Beweisskizze
  • 0:44:07 Beweis (3)
  • 0:45:50 Sprache der korrekten Rechenwege
  • 0:51:59 Lemma
  • 0:52:28 Beweis (4)
  • 1:01:26 Bemerkung
  • 1:02:03 Lemma (2)
  • 1:02:27 Beweis (5)

Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 03.02.2017
Erstellungsdatum 26.01.2017
Sprache Deutsch
DOI 10.5445/DIVA/2017-87
Identifikator KITopen-ID: 1000114501
Lizenz KITopen-Lizenz
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17
Folge 16
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page