Automatas lenguajes formales

1. Jeefferson Vasquez 16.402.362
Universidad Fermín Toro
Departamento de Computación
Teoría de autómatas y Lenguajes Formales
Elaboración de Ejercicios
Una vez analizado y estudiado el material correspondiente a la unidades I y II de la
asignatura los participantes procederán a realizar los ejercicios descritos a continuacion.
Recuerde respetar las fecha pautadas para la entregas de las actividades. Suerte
1. Para la expresión regular dada a continuación, obtenga el lenguaje regular asociado de acuerdo
a los criterios suministrados por el profesor a tal fin. Recuerde especificar la regla utilizada en
cada paso.
-
SOLUCION:
0 (0+1)*
M= 0(0+1)*
= L(0) L((0+1)*)
= {0} L((0+1)*)
= {0}[L(0+1)]*
= {0}[L(0) + L(1)]*
= {0}[{0,1}]*
= {0} U {0,1}*
= {0}{ε, 0,1,00,01,10,11,…}
2. Sea un circuito que funciona recibiendo impulsos (ceros y unos de tensión) para una entrada X y
genera impulsos en su salida Z. Sea Y el valor anterior de X. En cada momento, la salida del
circuito se obtiene realizando la siguiente operación Z=X+Y, donde el signo “+” representa la suma
modulo 2, cuyo valor es uno (1), si el numero de sus entradas iguales a uno es impar , y cero en caso
contrario. El valor Z(la salida) se obtendrá en función de los valores de X e Y, de acuerdo a la
siguiente tabla:
X Y Z
0 0 0
0 1 1
1 0 1
1 1 0
NOTA: La variable “Y”, define el estado de la maquina que recuerda cual fue el valor anterior de
la entrada X. Por lo tanto la tabla de transición de la maquina será la que se indica a continuación.

2. Jeefferson Vasquez 16.402.362
0 1
q0 0 1
q1 1 0
De acuerdo a lo descrito anteriormente determine el modelo de Maquina secuencial que mejor
representa tal situación y diseñe el diagrama de transición respectivo, defina todas las componentes
asociadas al mismo. (Justifique su respuesta)
Solución:
Se implementará una maquina secuencial de Mealy
M= ({0,1}, {0,1}, {q0,q1}, f, g)
F(q0,0)= q0 g(q0,0)= 0
F(q0,1)= q1 g(q0,1)= 1
F(q1,0)= q1 g(q1,0)= 1
F(q1,1)= q0 g(q1,1)= 0
q0 q1
1
0
0
1