Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algoritmul GRAT
I: Gramatica G' rezultată după aplicarea algoritmului GRCR.
O: O gramatică G'' independentă de context, echivalentă cu G', astfel încât ,
dacă A → γ este o producţie a lui G'', atunci γ începe cu un terminal.
M: begin
1° for k:=n-1 downto 1 do
begin
2° for h:=1 to n-i do
begin
3° for ∀( Ai → Ai + hα ) ∈ P do
begin
4° for ∀( Ai + → β ) ∈ P do
5° add Ai → βα
6° remove Ai → Ai + jα
end
end
end
end
k=3, j=1 A3 → A1 A3 A3 → A2 A1 A3
K=3, j=2 A3 → A2 A1 A3 A3 → aA1 A3
A3 → aB2 A1 A3
Etapa II
Producţii vechi Producţii noi
i=2 Nu se fac modificări
i=1 A1 → A2 A1 A1 → aA1 ; A1 → aB2 A1
Etapa III
Producţii vechi Producţii noi
k=1 Nu se fac transformări (nu există
B1 )
k=2 B 2 → A3 ; B2 → A3 B B 2 → aA1 A3 | aB2 A1 A3 | b
B 2 → aA1 A3 B2 | aB2 A1 A3 B2 | bB2
Teme propuse: