Curso: Lenguajes Formales y Autómata

Hoja de trabajo unidad 7-1

SOLUCIÓN

1. Construya un APD que acepte exactamente el lenguaje generado por la gramática:

 S  aABB | aAA
 A  aBB | a
 B  bBB | A

a. Represente el APD con el grafo y la séptupla

b. Determine si es una versión determinística o no determinística y por qué
c. Represente el APD equivalente con ASV
d. Represente el APD equivalente con AEF
e. Realice la ejecución de la lectura de una cuerda que pertenezca al lenguaje
f. Determine el lenguaje generado por la GCL. Represéntelo en notación de
conjuntos.
Solución:
a)

b) APDN por las transiciones de estados 1, 2, 3 hacia S

c) excluyendo el estado F en a) tenemos la versión APDN ASV
d) respuesta a)
e) lectura de la cuerda aaa, secuencia de descripciones instantáneas:

(S,aaa,S) > (1,aaa,λ) > (S,aaa,aAA) > (S,aa,AA) > (2,aa,A) > (S,aa,aA) > (S,a,A) > (2,a,λ)
> (S,a,a) > (S, λ, λ)

POR LO TANTO CUERDA ES ACEPTADA

f) L={w ϵ ∑* │na(w) ≥ 2nb(w)+2 o (na(w) ≥ 3 y nb(w)=0}

2. Determine cuál es el lenguaje aceptado por los APDN definidos a continuación.

Expréselos en notación de conjuntos.

a. L = {anbm │n ≥ m}
b. L = {a2nbn│n ≥ 0}

3. Considere el APDN construido de la siguiente forma:

Q = {q ,q ,q q }
0 1 2, 3

= {a, b}
= {0, 1}
z =0
F = { q} 3

q es el estado inicial
0

Con la función de transición de configuraciones:

δ (q a, 0) = { (q , 10), (q λ) }
0, 1 3,

δ (q λ,0) = { (q , λ) }
0, 3

δ (q a,1) = { (q ,11) }
1, 1

δ (q b,1) = { (q , λ ) }
1, 2

δ (q b,1) = { (q , λ ) }
2, 2

δ (q λ ,0) = { (q , λ ) }
2, 3
 a. Determine el lenguaje aceptado por el APDN. Expréselo en notación de
conjuntos. Solución:

L = {a} u {anbn│n≥0}

b. Si se reemplaza el valor de δ (q λ,0) por δ (q λ,0) = { (q , λ) }, cuál es el

2, 2, 0

lenguaje aceptado por este nuevo APDN ? Solución:

L = {a, λ}

4. Construya APD que acepten los siguientes lenguajes sobre el alfabeto

Σ={a,b,c}. Presente su resultado en notación matemática y también
gráfica.

a. L = { anb2n | n ≥ 0 }
Solución:
b. L = { anbmcn+m | n ≥ 0 m ≥1 }
Solución: