Académique Documents
Professionnel Documents
Culture Documents
S aB | bA | G = A aS | bAA B bS | aBB
Teora de Autmatas y Lenguajes Formales 5
P = * N * , *
Observemos que debe contener al menos un smbolo no terminal, que puede estar rodeado de un contexto.
Teora de Autmatas y Lenguajes Formales 6
10
12
Observaciones: { Cada palabra puede tener ms de un rbol de derivacin. { Algunas veces usaremos rboles de derivacin con raz distinta de S, para otras derivaciones A *G x T *
Teora de Autmatas y Lenguajes Formales 14
15
16
19
23
24
25
26
27
28
Si G = (N,T,P,S) es una gramtica regular lineal derecha (izquierda), existe una gramtica regular lineal derecha (izquierda) G = (N,T,P,S) equivalente a G sin producciones del tipo A aS.
29
31
S
1
0 1 0 1
A
1 0 0
S
1
Teora de Autmatas y Lenguajes Formales
B
33
34