Richi |
Endliche Automat zu Turingmaschine
Meine Frage:
gesucht ist, eine Konstruktion, die beliebigen endlichen Automaten A=(z,I,d,s_0,F) mit s_0 \in Z, F \subset Z und d(s,x) \subset Z für s \in Z und x \in I eine Turing Maschine TM(A)=(S,I,B,D,s_0,F') mit Z \subset s und L(A)=L(TM(A))
Meine Ideen:
zur zeit habe ich gar keine Idee |