DESARROLLO FASE 1

HERNAN DARIO SERRATO LOSADA

1.081.411.410

DANIEL ANDRES GUZMAN

Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

AUTOMATAS Y LENGUAJES FORMALES
2016-II

DESARROLLO DE LA ACTIVIDAD.

AFN

LENGUAGE

ER
((00)*(1+01)1)*(00)*(1+01)0
*

(11*10)*11*

(11*(10+00))*11*

{1,0 }/w=
((00)*(1+01)1)*(00)*(1+01)0* }
L1={w
{1,0 }/ w=(1110)11}
L 1={w

 {1,0 }/w=( 11(10+00))11}

L 1={w
2)
PARA LA EXPRESION REGULAR: ca*+bb*ab(a+b+cc*b)*
SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:
1. Describa la forma matemtica del autmata,
c a +b b ab ( a+ b+c c b )

c a +b b ab ( a+ b( +c c ) )

c a +b b ab ( a+ b c )

c a + +b b ab ( a+b c )

c a +b b ( a+ b c ) a

c a + +b b ( a+b c ) a

c a +b ( a+b c ) a
=({c }{a }n {b }m ( { a } { b } {c }r t { a }|n , m, r , t 0)
2.
Plasme la tabla de transicin. Identifique que tipo de autmata es (AFD o AFND) y
justifique su respuesta. (No se trata de dar el concepto de determinismo sino de justificarlo
asociando la respuesta al diseo del autmata)

{a ,b , c }

f
q0
q1
q2
q3
q4
q5

a
q2

q4
q5

b
q0
q0
q5
q5

q5

q3

q4
q3

El autmata es AFND ya que para varios estados y sus transiciones hay varios estados
finales y/o vacos.
3.

{a ,b , c }
A={Q , , S , F , }
Q={q0 , q1 , q2 , q3 , q 4 ,q 5 }
S={q0 }
F={q 4 , q5 }
=Qx Q :|q 0 ,q 1 ,q 2 ,q 3 ,q 4 , q5| xa ,b ,c q 0 , q 1 , q 2 , q 3 , q 4 , q5
Representa la funcin |total| de transicin
q 0 Q =Representa el estado inicial

q 4 , q5 K = Representan estados finales

4. Identifique el lenguaje que genera.

L={c a +b ( a+b c ) a }
5. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada
secuencia. (No se trata solo de captura las imgenes, estas deben ser explicadas en pi de
pgina o de lo contrario no tienen validez)
La cadena seleccionada es: bbabbccb
bbabbccb

Se muestra el primer carcter de la cadena que va desde q0 a q1 y vuelve al mismo estado.

bbabbccb

Contina con el siguiente carcter hacia el estado q2

Bbabbccb

En este paso se llega al estado final q5 y se puede decir que la cadena hasta este momento
es lenguaje de este autmata
Bbabbccb

Terminando la cadena se ve que todo su contenido cumple como lenguaje de este autmata

6. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres similitudes

y tres diferencias que encuentra al realizarlo en los dos simuladores. (Herramientas que
ofrezcan uno u otro).

7.

JFLAP
Posee la opcin de convertir de AF a
expresin regular
Crea estados uno tras de otro previamente
dando clic en el icono con forma de circulo

VAS
No posee esta opcin

Crea estados en dando clic izquierdo en la

opcin State que es un icono en forma de
circulo y se encuentra en la parte superior
izquierda, que genera una ventana para
ingresar el nombre al estado.
Tiene 11 opciones para escoger la que se Tiene 2 opciones para empezar a trabajar.
requiere para empezar a trabajar.
Permite visualizar la tabla de transiciones.
No permite mostrar tabla de transiciones.
Permite establecer si una cadena es
aceptada o rechazada por el automata