Links und Funktionen
Sprachumschaltung

Navigationspfad


Inhaltsbereich

Lösung 08

Plain Text icon loesung08.txt — Plain Text, 1 KB (1491 bytes)

Dateiinhalt

Musterloesung Blatt 8
---------------------

H-16:

1. Die Maschine akzeptiert die Sprache (01)*(0 + eps) 

2. Die Maschine akzeptiert die Sprache 0*1*


H-17:

    |     0     |     1     |     B     | Erl
----+-----------+-----------+-----------+-----   
q0  | (q10,B,R) | (q11,B,R) | (q5,B,R)  | (1)
q10 | (q10,0,R) | (q10,1,R) | (q20,B,L) | (2)
q11 | (q11,0,R) | (q11,1,R) | (q21,B,L) | (2)
q20 |           | (q30,B,L) |           | (3)
q21 | (q31,B,L) |           |           | (3)
q30 |           | (q4,B,L)  |           | (4)
q31 | (q4,B,L)  |           |           | (4)
q4  | (q4,0,L)  | (q4,1,L)  | (q0,B,R)  | (5)
q5  |           |           |           | (6)
----+-----------+-----------+-----------+-----

q0 ist Anfangszustand, q5 Endzustand
B ist das Leerzeichen

Erlaeuterungen:

(1) loesche und merke erstes Symbol,
    wenn B: fertig
(2) laufe bis zum Ende nach rechts
(3) loesche erstes matchendes Symbol am Ende
(4) loesche zweites matchendes Symbol am Ende
(5) zurueck nach links zum Anfang
(6) Endzustand

Jedes Wort in der Sprache wird offenbar akzeptiert.
 
Ist die Laenge nicht durch drei teilbar, so bleibt 
die Maschine in q20,q21,q30 oder q31 mit gelesenem B stehen.

Passt das letzte Zeichen nicht, so bleibt sie in 
q20 mit 0 oder q21 mit 1 stehen. 

Passt das vorletzte Zeichen nicht, so bleibt sie in 
q30 mit 0 oder q31 mit 1 stehen. 

Nur fuer Woerter in der Sprache wird also der
Endzustand q5 erreicht. 

Artikelaktionen


Funktionsleiste