Teoría de Autómatas 2021

Este práctico está diseñado para que el estudiante adquiera las siguientes competencias:
• Habilidad para distinguir los conceptos fundamentales de la Teoría de Autómatas.
• Capacidad para reconocer y utilizar autómatas.
• Destreza para integrar conocimientos adquiridos.

AUTÓMATAS

1. Para los lenguajes dados sobre Σ= {a, b} construir una expresión regular del lenguaje y un
Autómata Finito que lo acepte (Informática-Matemática)
a) L = {w | w tiene un número impar de a′ s}
b) L = {w | w tiene un número múltiplo de 3 de a′ s}
c) L = {w | toda a en w está entre dos b′ s}
d) L = {w | no hay dos a′ s consecutivas en w}
e) L = {w | w no contiene las sub-palabras aa ni bb}
2. Realizar los diagramas de transición que reconozcan los siguientes lenguajes (Informática-
Matemática)
a) L = {w = anbak / n, k  0}
b) L = { w  {a,b}* / w = (aaa)n(bbb)m , m,n 0 }
c) L = {anbm / n+m es par}
d) L = {abnw/ n  3, w  {a,b}*}
e) L = {vwv/ v, w  {a,b}*, v=2}
f) L = {x /x  {a,b}*  x no contienen dos b consecutivas}.
g) L = {x /x  {a,b}*  x contiene un número impar de b}
h) L = { w  {0,1}* / |w | = 5 y el número de ceros en w es mayor o igual a 2 }
i) L = { w  {a,b,c}* / w no contiene la sub-cadena bab }
j) L = {x = aibj  x = (cd)2n+1, i  0, n, j  1}
k) L = {x /x {a,b,c}* y contiene al menos una a}
l) L = { (01)m2(10)n/m, n >=0}
3. Para los AFND del ejercicio anterior obtenga el equivalente determinístico (Informática-
Matemática)

4. Para las siguientes Expresiones Regulares (Informática-Matemática)

a. Realice el Autómata Finito.
b. Si el mismo es no determinístico, transfórmelo a determinístico.

a) (ab / ba)a+a b) (0+1)* (00+11) c) (ab/bc)(b/c)* d) (ba*ca / ba*cd) e) 10 / ((0/11)10*)

5. Dados los siguientes lenguajes, realice los autómatas de pilas correspondientes (Informática-
Matemática)

a) L(G) = {anbnc / n  1} b) L(G) = {anbm / n  m}

c) L(G) = { anb2nc/ n  0} d) L(G) = {aibjck / i = j o j = k}
e) L(G) = {ambmcn / n,m  1} f) L(G) = {anbmcn+md / n,m  1}
g) L(G) = {ambncn / n,m  1} h) L(G)={ xwx-1 / x  {a,b}*, w  {c,d}+}
i) L(G) = {anbmcmdn / n,m  0} j) L(G) = {(ab)n cn (dd)j /n  1, j  0}
k) L(G) = { an bmc3m+1d2n / n,m  1} l) L(G) = {aibjck / i=2j o k=3j-1}

m) Lenguaje que genere hileras de ceros y unos con igual cantidad de ceros y unos.
n) Lenguaje que genere hileras de a y b con distinta cantidad de a que de b (en cualquier orden)
 Teoría de Autómatas 2019

o) L = {anbm / n,m  0  n  m+3}

p) L = {anbmck/ n,m,k  0  ( n = m  m  k}
q) L = {anbmck/ n,m,k  0  k = n + m}
r) L = {wcw-1/ w  {a,b}*}
s) L = {w / w  {a,b}*  #a(w)  #b(w)}
t) L = {w / w {a,b}*  #a(v)  #b(v), siendo v cualquier prefijo de w}
u) L = {w / w {a,b,c}*  #a(w) + #b(w)  #c(w)}
v) L = {w / w {a,b,c}*  #a(w) = #b(w) +1}
w) L = {w / w {a,b,c}*  #a(w) = 2#b(w)}
x) L = {w / w {a,b,c}*  2#a(w)  #b(w)  3#a(w)}
y) L = {w1cw2 / w1 , w2 {a,b}*  w1  w2R}

6. Defina una máquina de Turing que reconozca los siguientes lenguajes (Informática-Matemática)

a) L(G) = {0n1n2n / n  1} b) L(G) = {x#x / x  {a,b,c}*}

c) L(G) = {anbmcnm /m, n  1} d) L(G) = {a2n/ n  1}
e) L(G) = {an bm an+m / n, m  0} f) L(G) = {an bn-1 cn+3 / n  1}
h) L(G) = {x/ x  {0,1}* y la cantidad de ceros es igual a la cantidad
g) L(G) = {12k+1 / k  0} de unos}
i) L(G) = {ww-1 / w  {0,1}*} j) L(G)={ xwx-1 / x  {a,b}*, w  {c,d}+}
k) Multiplique dos números en notación unaria.
l) Reciba dos números en código unario, separados por un espacio en blanco, y devuelva su suma.
m) Calcule el complemento a 1 de un número binario. (Es decir, que sustituya los 0’s por 1’s y los 1’s por 0’s).

7. En grupo de no más de 3 integrantes, proponga una MT reconocedora de lenguajes, y

documente al menos 3 casos de prueba de la misma utilizando JFLAP. Nota: La MT debe
ser original, y no corresponderse a lenguajes incluidos en este práctico o en anteriores. El
cumplimiento de la actividad es obligatorio para regularizar la materia. (Informática-
Matemática)