Kellerautomat in kfG < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 16:32 So 22.06.2008 | Autor: | balboa |
Aufgabe | Der NPDA [mm]M = (Q,\Sigma,\Gamma,\delta,q_0 , \#)[/mm] mit [mm]Q = \{q_0 ,q_1\}, \Sigma=\{a,b\}, \Gamma=\{b,\#\}[/mm] und den Überführungen [mm]\delta(q_0, \epsilon, \#) = \{(q_0, \epsilon)\}, \delta(q_0, a, \#) = \{(q_0, b\#)\}, \delta(q_0, a, b) = \{(q_0, bb)\}, \delta(q_0, b, b) = \{(q_1, \epsilon)\}, \delta(q_1, b, b) = \{(q_1, \epsilon)\}, \delta(q_1, \epsilon, \#) = \{(q_1, \epsilon)\}[/mm]
Wandel M in eine kontextfreie Grammatik |
Hier ist meine Umwandlung:
[mm]
S \to [q_0 \# q_0 ][q_0 \# q_1 ]
[q_0 \# q_0 ] \to \epsilon
[q_0 \# q_0 ] \to a[q_0 b q_0 ][q_0 \# q_0 ]
[q_0 \# q_0 ] \to a[q_0 b q_1 ][q_1 \# q_0 ]
[q_0 \# q_1 ] \to a[q_0 b q_0 ][q_0 \# q_1 ]
[q_0 \# q_1 ] \to a[q_0 b q_1 ][q_1 \# q_1 ]
[q_0 b q_0 ] \to a[q_0 b q_0 ][q_0 b q_0 ]
[q_0 b q_0 ] \to a[q_0 b q_1 ][q_1 b q_0 ]
[q_0 b q_1 ] \to a[q_0 b q_0 ][q_0 b q_1 ]
[q_0 b q_1 ] \to a[q_0 b q_1 ][q_1 b q_1 ]
[q_0 b q_1 ] \to b
[q_1 b q_1 ] \to b
[q_1 \# q_1 ] \to \epsilon [/mm]
Ist diese Umwandlung so richtig?
Vielen Dank vorab für hilfreiche Antworten
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 17:26 Mi 25.06.2008 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|