formalesprachen:loesungaufgabe3automaten:start
Dies ist eine alte Version des Dokuments!
Lösung
Lösungsgedanke:
Die Dezimalzahl 12 entspricht in Binärdarstellung der Zahl 1100. Größergleich 12 sind also alle vierstelligen Binärzahlen, die mit 11 beginnen sowie alle mindestens fünfstelligen Binärzahlen.
Der folgende DEA erfüllt daher die Anforderungen:
formalesprachen/loesungaufgabe3automaten/start.1758293242.txt.gz · Zuletzt geändert: von Martin Pabst