Curso: Lenguajes Formales y Autómata

Hoja de trabajo unidad 5-2

SOLUCIÓN

En los ejercicios 1 y 2, construya una gramática lineal a la derecha (GLD) y a la izquierda (GLI)
que generen el lenguaje:

1) L = {bnam | n ≥ 3, m ≥ 5}

SOLUCIÓN:

GLD: GLI:

S -> bbbA │bS S -> Sa Baaaaa

A -> aaaaa │aA B -> bbb │Bb

2) L = {w ∈ {0, 1, 2, …, 9}*| w puede ser interpretado como un número natural

exactamente divisible por 3}.

SOLUCIÓN:

SE PODRÍA LLEGAR A OBTENER UNA GLD y GLI que reconozcan parcialmente este
lenguaje, es decir a una aproximación de la solución.

3) L = {ab2mcr ∈ {a, b, c}*| m, r son naturales tales que m es impar y r es par }

SOLUCIÓN:

GLD: GLI:

S -> abbB S -> Scc │B

B -> bbB │ λ │C B -> Bbb │Abb

C -> ccC │cc A -> a

4) Convierta el AFN siguiente a una GLD (ver diapositiva 24 presentación parte 2) y una GLI (ver
diapositiva 59 presentación parte 2) equivalentes.

SOLUCIÓN:

El primer paso es obtener el AFNR:

LR
λ

a
2 3 λ
λ
λ a b b b
0 1 6 7 8 9 10

λ 4 5 λ
b

LR
λ

GLD = ({0,1,2,3,4,5,6,7,8,9,10}, {a,b}, 10, P)

P:

10 -> b9
9 -> b8
8 -> b7
7 -> a6
6 -> 3
6 -> 5
3 -> a2
5 -> b4
2 -> 1
4 -> 1
1 -> 0
0 -> λ

---------------------

(LR)R

GLI = ({0,1,2,3,4,5,6,7,8,9,10}, {a,b}, 10, P)

P:

10 -> 9b
9 -> 8b
8 -> 7b
7 -> 6a
6 -> 3
6 -> 5
3 -> 2a
5 -> 4b
2 -> 1
4 -> 1
1 -> 0
0 -> λ

5) Dadas la siguiente gramática (sólo se especifican las producciones), encuentre el lenguaje

generado.

G: S -> aSb, S -> cA, A -> cA, A -> c

Después de algunas derivaciones de cuerdas, SOLUCIÓN:

L = {an cmbn│n ≥ 0, m ≥ 2 }