INSTITUTO TECNOLGICO DE TLAXIACO

INGENIERA EN SISTEMAS COMPUTACIONALES.

LENGUAJES Y AUTOMATAS

AUTOMATAS FINITOS DETERMINISTA

CATEDRTICO: ROMAN CRUZ JOSE ALFREDO

6 SEMESTRE GRUPO:A

INTEGRANTE DE LOS EQUIPOS:

ALICIA AVILA REYES
AMAGOLIA MENDOZA APARICIO
RUT CRUZ SANCHEZ



PERIODO : (ENERO-JULIO)2014


TLAXIACO, OAXACA A 29 DE MAYO DEL 2014




EJERCICIO 2

1. Resolver la siguiente expresin regular y convertirla en autmata finito determinista.

C=(+|-|)D+(.D| ) ((E|e)(+|-|)D+| )


Realizar la tabla de transicin


+- D . E/e D D ACEPTACION
q0 Q1 x x X X X X
q1 x q2 X X X X X
q2 q4 q2 q3 X X X X
q3 x q4 X X X X X
q4 q8 x X q5 X X X
q5 q6 X X X X X X
q6 x X X X q7 X X
q7 x X X X X q7 x
q8 x x x x x x q8


2. Comprobar los siguientes nmeros si pertenecen al autmata.
a) 13.5 b) 36.6e2 c) .89E-9 d) 3.25.22



3. Convertir la siguiente expresin regular a autmata finito determinista y construir su
tabla de transicin. Realizar su simulacin en Jflap.
(abc*)+ (de)*(fg)+










TABLA DE TRANSICION (abc*)+ (de)*(fg)+















Estados Entradas
A B C D E F G &

q1 X X X X X X X X

X X X X X X X

X X X X X X X

X X

X X X X

X X X

X X X

X X X X

X X X X

X X X X X X

X X

X X X X X X X

X
NO ACEPTABLE
ACEPTABLE
NO ACEPTABLE NO ACEPTABLE
Tabla modificada










Cdigo modificado


+ - D . E e &
0 1 1 1 2 200 200 200
1 200 200 1 2 6 6 200
2 200 200 3 200 200 200 200
3 200 200 3 200 4 4 200
4 200 200 5 200 200 200 200
5 6 6 5 200 200 200 200
6 200 200 5 200 200 200 200