LR(0)-Analyse < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Aufgabe | [mm] $G=\{N,T,P,s\}, N=\{S;A,B\}, T=\{a,b,c\}, P=\{S\rightarrow Aa, A\rightarrow Bb, A\rightarrow b, B\rightarrow Ac, B\rightarrow c\}$
[/mm]
Für die oben angeführte Grammatik schreiben Sie die kanonische Kollektion der LR(0)-Informationen: |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Hi Leute!
Ich hab hier mal angefangen die kanonische Kollektion zu berechnen:
[mm] $I_0 [/mm] = [mm] HUELLE[\hat{S} \rightarrow [/mm] S] = [mm] [\hat{S} \rightarrow [/mm] S, S [mm] \rightarrow [/mm] .Aa, A [mm] \rightarrow [/mm] .Bb, A [mm] \rightarrow [/mm] .b, B [mm] \rightarrow [/mm] .Ac, B [mm] \rightarrow [/mm] .c]$
[mm] $I_1 [/mm] = [mm] GOTO[I_0,S] [/mm] = [mm] HUELLE[\hat{S} \rightarrow [/mm] S.] = [mm] [\hat{S} \rightarrow [/mm] S.]$
[mm] $I_2 [/mm] = GOTO[S [mm] \rightarrow [/mm] A.a] = HUELLE[S [mm] \rightarrow [/mm] A.a] = [S [mm] \rightarrow [/mm] A.a, A [mm] \rightarrow [/mm] .Bb, B [mm] \rightarrow [/mm] .b]$
[mm] $I_3 [/mm] = [mm] GOTO[I_0,B] [/mm] = HUELLE[A [mm] \rightarrow [/mm] B.b] = [S [mm] \rightarrow [/mm] B.b, B [mm] \rightarrow [/mm] A.c, B [mm] \rightarrow [/mm] c.]$
[mm] $I_4 [/mm] = [mm] GOTO[I_0,b] [/mm] = HUELLE[A [mm] \rightarrow [/mm] b.] = [A [mm] \rightarrow [/mm] b.]$
[mm] $I_3 [/mm] = [mm] GOTO[I_0,A] [/mm] = HUELLE[B [mm] \rightarrow [/mm] A.c] = [mm] I_3$
[/mm]
[mm] $I_5 [/mm] = [mm] GOTO[I_2,a] [/mm] = HUELLE[S [mm] \rightarrow [/mm] Aa.] = [S [mm] \rightarrow [/mm] Aa.]$
[mm] $I_3 [/mm] = [mm] GOTO[I_2,B] [/mm] = HUELLE[A [mm] \rightarrow [/mm] B.b] = [mm] I_3$
[/mm]
[mm] $I_4 [/mm] = [mm] GOTO[I_2,b] [/mm] = HUELLE[A [mm] \rightarrow [/mm] b.] = [mm] I_4$
[/mm]
[mm] $I_6 [/mm] = [mm] GOTO[I_3,b] [/mm] = HUELLE[A [mm] \rightarrow [/mm] Bb.] = [A [mm] \rightarrow [/mm] Bb.]$
[mm] $I_7 [/mm] = [mm] GOTO[I_3,c] [/mm] = HUELLE[B [mm] \rightarrow [/mm] Ac.] = [B [mm] \rightarrow [/mm] Ac.]$
Kann mir jemand sagen, ob das so richtig ist?
Danke!
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 23:21 Fr 20.06.2014 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|