Satz durch Endzustand und durch leeren Keller erkannt ist äquivalent
Einfache Sprache
Def. Satz durch Endzustand und durch leeren Keller erkannt ist äquivalent
Die Klasse der Durch Endzustand erkannten Sprachen für einen NDKA ist gleich der Klasse der Durch leeren Keller erkannten Sprachen für einen NDKA.
Beweis: Wir zeigen die Gleichheit, indem wir 2 Konstruktionsvorschriften angeben, die zwischen beiden Akzeptierungen umwandeln. Dazu folgende Sätze: