Infinite automaton for language a pow n b pow n

Autor/Urheber:

Thetawave

Shortlink:

https://dewiki.de/b/2108ae

Quelle:

https://de.wikipedia.org/wiki/Datei:Infinite_automaton_for_language_a_pow_n_b_pow_n.png

Größe:

624 x 568 Pixel (26411 Bytes)

Beschreibung:

Ausschnitt eines nicht-endlichen deterministischen Automaten, der die Formale Sprache a^{n}b^{n} akzeptiert.

Lizenz:

CC-BY-SA-3.0

Credit:

Erstellt für Artikel Satz von Myhill-Nerode. --Thetawave 09:48, 21. Dez 2005 (CET)

Bild teilen:

         

Weitere Informationen zur Lizenz des Bildes finden Sie hier. Letzte Aktualisierung: Fri, 12 Aug 2022 14:45:34 GMT

Relevante Bilder

Relevante Artikel

Der Satz von Myhill-Nerode gibt im Fachgebiet Formale Sprachen der Theoretischen Informatik ein notwendiges und hinreichendes Kriterium dafür an, dass eine formale Sprache regulär ist. Er wurde im Jahr 1957/1958 von John Myhill und Anil Nerode vorgestellt und bewiesen. .. weiterlesen