img144

144    10. Metody ciągowe

(3) dla każdego nieterminala A\ 6 Ew i terminala a € Sr takiego, że a € first(Ai) (patrz Dodatek 3) określamy

6(/łi,a) := (er, f),

gdzie i jest numerem pierwszej produkcji z ciągu produkcji prowadzących do wygenerowania terminala a, natomiast cr jest prawą stroną produkcji,

(4) dla każdego symbolu terminalnego a g Er określamy S(a,a) := rem,

(5)    określamy 6(Zo,$) := acc,

(6)    dla pozostałych par postaci (Ai,a), które nie zostały rozpatrzone w punktach (3), (4), (5):

ó(żii,a) := err,

gdzie err jest stanem nierozpoznania obrazu.

W przypadku naszej gramatyki mamy:

(1)    E_r = {a, 6, c,d, (,),+,

(2)    E' = {a,b,c,d,S,Si,Zo}, i = 1.....7,

(3) Określamy zbiory typu first dla nietcrminali:

first(S4) - {6}, first(Si) - {(}, first(S₆) = {(}, first(S₇) - {(}

first(S) = {a,(,6}, first(Si) = {(}, first(Si) = {a, (}, first(S₃) = {(},

oraz funkcję przejścia:

6(S, a) = (a + a, 1),    <5(5, () = (5, + S₂,2).

(Produkcja (2) jest pierwszą z ciągu prowadzącego do wygenerowania ”(”: S — 2—- Si + Si - 3—* (S3 * a) + S₂ —• ■ •)

6(S,b) = (S< *6’₅,7), 6(Si,() = ((S3 * a), 3), Ó(S₂, a) = (a,4),

ś(S₂,() = ((axd),6),