UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE CIENCIAS
ESCUELA DE COMPUTACION
Matemáticas Discretas III (Cód. 6108)

AUTOMATAS DE PILA

1. Diseñe el AFP que acepte los siguientes lenguajes:

a. Σ = {a, b}. L= {aib2i | i ≥ 0}.
b. Σ = {a, b}. L= {a2ibi | i ≥ 1}.
c. Σ = {a, b, c}. L= {aibjci+j | i, j ≥ 0}.
d. Σ = {a, b, c}. L= {aibjcs | i, j ≥ 0, s= máx(0, i-j)}.
e. Σ = {0, 1}. L= {S2Sc | SϵΣ*, c= complemento}.
f. Σ = {0, 1}. L= {0i12i+j0j | i, j ≥ 1}.
g. Σ = {a, b}. L = {anbn+1 | n ≥ 0}.

2. Diseñe un AFNDP que reconozca los siguientes lenguajes:

a. L = {aib2i : i ≥ 1}
b. L = {a2ib3i : i ≥1}
c. L = {aibj : i ≥ j ≥ 1}
d. L = {aibj : j ≥ i ≥ 1}
e. L = {ai+jbicj : i,j≥1}
f. Lenguaje de todas las cadenas de ceros y unos con el mismo número de
ceros que de unos.
h. Lenguaje de todas las cadenas con el doble de ceros que de unos
h. Lenguaje de todas las cadenas binarias capícuas