Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 10.11.2016, 04

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:21:16

MP4•Episode-Home

04 | 0:00:00 Starten 0:00:12 Endliche Automaten, reguläre Sprachen 0:00:57 Frage 0:01:40 Äquivalenz 0:04:24 Der Äquivalenzklassenautomat 0:06:29 Vorgehensweise 0:08:44 Frage 0:10:29 Antwort 0:13:49 Definitionen: Rechtsinvarianz und Index 0:17:08 Nerode-Relation 0:20:55 Satz von Nerode 0:24:06 Beweis zu Satz von Nerode: (1) – (2) 0:28:54 Beweis zu Satz von Nerode: (2) – (3) 0:31:43 Beweis zu Satz von Nerode: (3) – (1) 0:37:00 Satz von Nerode 0:37:38 Korollar 0:40:52 Minimalität des Äquivalenzklassenautomats 0:44:19 Zusammenfassung 0:48:45 Kapitel: Turing-Maschinen und Berechenbarkeit 0:52:00 Die Registermaschine (RAM) 0:53:23 Befehle der Registermaschine (RAM) 0:53:52 Kostenmodell der Registermaschine (RAM) 0:54:56 Die Turingmaschine (TM) 0:57:54 Die Turingmaschine (TM) 0:58:20 Formale Definition der Turingmaschine 1:01:51 Bermerkungen zur TM 1:05:09 Beispiel-Turingmaschine 1:15:15 Bemerkungen zur TM 1:16:48 Definitionen zur TM

18 Episoden

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