Autmatas y lenguajes formales.

Tarea 1
1. Dados 0 m < k y 2 p, sea
Ak,m,p = { {0, 1, . . . , p 1} | es una representacin p-aria de x y x mod k = m}.
Da un mtodo general para construir un autmata que acepte Ak,m,p .
2. Considera el siguiente autmata no determinista con transiciones-.
a,b

a,b

S


2
a,b

Transfrmalo en un autmata determinista usando los mtodos vistos en clase. Minimiza el

resultado.
3. Da una expresin regular que genere el lenguaje { {a, b} | contiene un nmero par de
a o un nmero impar de b}.
4. Construye un autmata que acepte el lenguaje generado por la expresin (0 + 1(01 0) 1) .
Aplica el algoritmo de minimalizacin a tu autmata.
5. Demuestra que el lenguaje
{ {a, b, c} | la longitud de es el cuadrado de un natural}
no es regular. Usa el teorema del bombeo.
6. Demuestra que el lenguaje
{ {a, b, c} es un palindroma}
no es regular. Usa el teorema del bombeo.
7. Resuelve los dos ejercicios anteriores utilizando el teorema de Myhill-Nerode.
8. Construye el autmata de diccionario para el conjunto X = {ab, ba, aba, bab} con el alfabeto
= {a, b, c}