Sprache erkennen < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Gegeben seien Turingmaschinen M = [mm] ({z_0; z_1; z_2; z_e}; [/mm] {0; 1}; {0; [mm] 1;\box}; \delta; q_0;\box; {z_e}). [/mm] Geben
Sie die von M akzeptierte Sprache an, wenn [mm] \delta [/mm] aus folgenden Zustandsübergängen
besteht:
a) [mm] (z_0, \Box [/mm] ,R) [mm] \in \delta(z_0,0), (z_1,\Box,R)\in \delta(z_0,1), (z_1,\Box,R)\in \delta(z_1,1), (z_e,\Box,R) \in \delta(z_1,\Box)
[/mm]
b) [mm] (z_1, [/mm] 1 ,R) [mm] \in \delta(z_0,0), (z_2,0,L)\in \delta(z_1,1), (z_0,1,R)\in \delta(z_2,1), (z_e,\Box,R) \in \delta(z_1,\Box) [/mm] |
Miau :3
habe derzeit Probleme mit den Aufgaben
hier zum Beispiel
eine Turingmaschine arbeitet ja mit nem Band, okay
und ein wort wird akzeptiert, wenn es nach den konfigurationen im Endzustand endet, auch okay
bei diesen Aufgabe bin ich der meinung, dass
a) [mm] L={0^n1^m | n\ge 0,m\ge 1} [/mm] ist, weil [mm] z_0 [/mm] nur Nuller aktzeptiert und [mm] z_1 [/mm] nur Einser und nur [mm] z_1 [/mm] in den endzustand kommen kann
b) hab ich noch keine wirkliche Ahnung, kann mir bitte jemand sagen, wie ich da im Allgemeinen vorgehen muss?
LG
miau :3
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Di 07.06.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
