Universidad Fermn Toro

Departamento de Computacin
Teora de autmatas y Lenguajes Formales

Elaboracin de Ejercicios
Una vez analizado y estudiado el material correspondiente a la unidades I y II de la
asignatura los participantes procedern a realizar los ejercicios descritos a continuacion.
Recuerde respetar las fecha pautadas para la entregas de las actividades. Suerte
1. Para la expresin regular dada a continuacin, 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.
2. Sea un circuito que funciona recibiendo impulsos (ceros y unos de tensin) 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 operacin 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 funcin de los valores de X e Y, de acuerdo a la
siguiente tabla:
X
0
0
1
1

Y
0
1
0
1

Z
0
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 transicin de la maquina ser la que se indica a continuacin.

q0
q1

0
0
1

1
1
0

De acuerdo a lo descrito anteriormente determine el modelo de Maquina secuencial que mejor

representa tal situacin y disee el diagrama de transicin respectivo, defina todas las componentes
asociadas al mismo. (Justifique su respuesta)