Beispiel

(z0, •) -> (z3, 1, N)

(z0, 0) -> (z0, •, R)

(z0, 1) -> (z1, •, R)

Maschine liefert 1 gdw auf Band eine Folge 0...01...1 steht.

Anzahl jeweils beliebig (auch null)

Eingabealphabet: {0, 1}, Arbeitsalphabet: {0, 1, •}

Z = {z0, z1, z2, z3}, E = {z3}

Überführungsfunktion [(x, y) -> (z, v, w) statt ?(x,y) = (z, v, w)]:

(z2, •) -> (z2, •, R)

(z2, 0) -> (z2, •, R)

(z2, 1) -> (z2, •, R)

(z1, •) -> (z3, 1, N)

(z1, 0) -> (z2, •, R)

(z1, 1) -> (z1, •, R)

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen