Beispielmaschinen erstellt von Wiebke Petersen 4.7.2011

Akzeptor der Sprache L={2^n}  [Endzustände {z6}]
Input: 111, 1111


(z1 ,1) ---> (z2 ,1,R) [] 
(z2 ,1) ---> (z3 ,0,R) [] 
(z2 ,0) ---> (z2 ,0,R) [] 
(z2 ,_) ---> (z6 ,_,L) [] 
(z3 ,1) ---> (z4 ,1,R) [] 
(z3 ,0) ---> (z3 ,0,R) [] 
(z3 ,_) ---> (z5 ,_,L) [] 
(z4 ,1) ---> (z3 ,0,R) [] 
(z4 ,0) ---> (z4 ,0,R) [] 
(z5 ,1) ---> (z5 ,1,L) [] 
(z5 ,0) ---> (z5 ,0,L) [] 
(z5 ,_) ---> (z1 ,_,R) [] 




Additionsmaschine (nur Ergebnis auf dem Band)
Input: 111 1111, 1 1

(z1 ,1) ---> (z2 ,_,R)  [] 
(z2 ,1) ---> (z2 ,1,R)  [] 
(z2 ,_) ---> (z3 ,1,L) [] 
(z3 ,1) ---> (z3 ,1,L) [] 
(z3 ,_) ---> (z4 ,_,R) [] 



Multiplikationsmaschine (Aufgabe bleibt auf dem Band)
Input: 1111 111, 1 1

(z1 ,1) ---> (z2 ,_,R) [] 
(z1 ,_) ---> (z10,_,L) [] 
(z2 ,1) ---> (z2 ,1,R) [] 
(z2 ,_) ---> (z3 ,_,R) [] 
(z3 ,1) ---> (z4 ,_,R) [] 
(z3 ,_) ---> (z8 ,_,L) [] 
(z4 ,1) ---> (z4 ,1,R) [] 
(z4 ,_) ---> (z5 ,_,R) [] 
(z5 ,1) ---> (z5 ,1,R) [] 
(z5 ,_) ---> (z6 ,1,L) [] 
(z6 ,1) ---> (z6 ,1,L) [] 
(z6 ,_) ---> (z7 ,_,L) [] 
(z7 ,1) ---> (z7 ,1,L) [] 
(z7 ,_) ---> (z3 ,1,R) [] 
(z8 ,1) ---> (z8 ,1,L) [] 
(z8 ,_) ---> (z9 ,_,L) [] 
(z9 ,1) ---> (z9 ,1,L) [] 
(z9 ,_) ---> (z1 ,1,R) [] 
(z1 ,_) ---> (z10 ,_,L) []