2CM3Teora ComputacionalAlvarado Muoz EdgarINSTITUTO POLITCNICO NACIONAL

Grupo: 2CM3

Profesor: Edgardo Adrin Franco Martnez

Alumno: Edgar Alvarado Muoz

[Ejercicio 6]

ESCUELA SUPERIOR DE CMPUTO

Introduccin

Un autmata finito es un modelo matemtico de mquina capaz de aceptar un datos de entrada, sean cadenas de cualquier carcter. Su estructura esta a base de un conjunto finitos de estados y cambios entre los estados, los cuales dependern de la entrada previa al estado en donde se posicione.

Este tipo de autmatas aceptar solamente una secuencia como vlida si esta le lleva a un estado final. Las manera en que se pueden clasificar los autmatas son:

1) Autmata Finito Determinista (AFD), nunca contar con transiciones con alguna ambigedad; o.

2) Autmata Finito No Determinista (AFN), este se caracteriza por tener una o varias ambigedades en su forma de trasladarse entre estados.

3) La cerradura de Kleene da de nuevo un lenguaje regular.

La construccin de un autmata finito no determinista, segn Thompson parte de construir un representacin de la cual se pueda obtener una representacin de las traslaciones entre estados por una cadena vaca o ambigedad.

Construir grfica y formalmente los autmatas para las siguientes expresiones regulares, a travs de la nomenclatura de Thompson.

1.- (abc)*

AFN=(E,,Q,f,q0,F)E={a,b,c}Q={q0,q1,q2,q3,q4,q5}F={q5}f: (ExExE)* ->Q

2.- ( b | bc )+

AFN=(E,,Q,f,q0,F)E={b,c}Q={q0,q1,q2,q3,q4,q5,q6}F={q4}f: (E | ExE)+ ->Q

3.- X_(X_ | a)*

AFN=(E,,Q,f,q0,F)E={X,_,a} ; x={a-z,A-Z,@-#}Q={q0,q1,q2,q3,q4,q5,q6,q7,q8}F={q7}f: ExEX( (ExE)* | (E)* ) ->Q

4.- (a | b)* abb

AFN=(E,,Q,f,q0,F)E={a,b}Q={q0,q1,q2,q3,q4,q5,q6,q7,q8,q9}F={q5}f: (ExExE)* ->Q

5.- (a* | b+)+

AFN=(E,,Q,f,q0,F)E={a,b,}Q={q0,q1,q2,q3,q4,q5,q6,q7,q8}F={q4}f: (E *| E+)+ ->Q