Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 06.11.2014, Lektion 05
Abstract:
05: Vorlesung: Organisatorisches | Definitionen: Rechtsinvarianz und Index | Nerode-Relation | Satz von Nerode | Beweis zu Satz von Nerode | Korollar | Minimalität des Äquivalenzklassenautomats | Zusammenfassung
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 13.08.2015 |
| Erstellungsdatum | 06.11.2014 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2015-555 |
| Identifikator | KITopen-ID: 1000113222 |
| Lizenz | KITopen-Lizenz |
| Serie | Theoretische Grundlagen der Informatik, WS 2014/15 |
| Folge | 6 |