TRABAJO COLABORATIVO 1

AUTOMATAS FORMALES

PRESENTADO POR:
ANDRES FELIPE AREVALO PERALTA

GRUPO:
301405_75

PRESENTADO A:
CESAR JIMENEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
FUSAGASUGA
2017
 AUTOMATA

EXPRESION

REGULAR

LENGUAJE REGULAR

Autmata

Expresin Regular

Para generar la expresin regular de este autmata vamos a utilizar la eliminacin de estados.

Usamos la tabla de transiciones para conocer exactamente los recorridos:

0 1

q0 q1 q2
q1 q3
q2 q3
q3

Teniendo en cuenta la tabla, trazamos las rutas, aunque estas nos dan la ER, sirve como verificacin del mtodo grfico.

Se va a expresar por eliminacin de Estados.

Para trazar las rutas, observamos en el autmata las vas que nos llevan desde el inicio hasta el final, para este caso son:
 q 0 q 1 q 3= 01

q 0 q 2 q 3= 11

Comenzamos agregando un estado inicial y uno final diferente a los que aparecen en el ejercicio:

Ahora procedemos a borrar los estados intermedios, en este caso q1 , sumndose sus transiciones:

De nuevo borramos el estado intermedio q2 para simplificar el autmata, y sumamos sus transiciones:

Ahora eliminamos los estados q 0 y q3 :

As obtenemos que la ER del Autmata es:

01+11
Tabla de transiciones:

0 1

q0 q1 q2
q1 q1 q3
q 0 q 1 q 3= 00 1
q2 q1 , q3
q 0 q 2 q 3= 11
q3

q 0 q 2 q 1 q3= 110 1

Para la Eliminacin de estados procedemos a agregar los estados inicial y final y gradualmente eliminar sus procesos
intermedios:

Eliminamos q1 y anexamos la ruta de q0q2q3 y de q2q1q3 :

Ahora eliminamos q2 :

Eliminamos q 0 y q3 el resultado final es:

As obtenemos que la ER del Autmata es:

 0 1 00 1+11+110 1=
q0 q1 q3
00 1+1(1+10 1)
q1 q1 q3
q3 q0 q1

Tabla de transiciones:

q 0 q 1 q 3 q1 q3=00 1+ 10 1

q 0 q 3 q1 q3= 1000 1

Eliminamos como en las anteriores a q1 y anexamos las rutas correspondientes

Quitamos los estados q 0 y q3

As obtenemos que la ER del Autmata es:

00 1+10 1+1000 1

Lenguaje Regular
 Tipo de autmata (AFD o AFND)

Autmata Finito Determinista

(AFD)
Autmata Finito Determinista NO (AFND)
Autmata Finito
Determinista
(AFD)

Ejercicio 2:

Realizar la conversin del siguiente autmata, si el autmata es AFD convertirlo a

AFND y si es AFND convertirlo a AFD, Se debe mostrar el procedimiento paso a
paso.

Para transformar este autmata finito, primero determinamos que es un Autmata

Formal No Definido debido a que posee transiciones que representan
transiciones vacas.
Para comenzar la conversin primero debemos sacar la tabla de transiciones con
los elementos del lenguaje del autmata: ={ , 0,1}

Est 0 1
ado

q0 q1 q2

q1 q2
q1

q2 q1 q4 q3
q3 q0
q4 q3 q1

Teniendo esta tabla se procede a convertir el autmata con el procedimiento de

transiciones o transiciones vacas, de manera que relacionamos los estados
con cada transicin vaca y a que transicin(es) nos puede llevar, revisado el
autmata nos damos cuenta que tanto q 2 como q 4 poseen transiciones
vacas, en la formula se plasma cual es el estado procedente y a cual estado se
dirige la transicin vaca en unin, los estados que no tienen transicin vaca se
unen con .
q0 C ( 0 ) ={0 }
q1 C ( 1 )={1}
q2 C ( 2 )={2}{1}
q3 C ( 3 )={3 }
q4 C ( 4 )={4 }{3 }

Se Procede a la validacin de Transformacin, en donde tomaremos el resultado

del estado inicial q 0=C ( 0 ) ={0 } para comenzarla, en este mtodo,
comprobaremos el resultado, con el autmata asignndole nuevos valores y
comprobndolo en {0, 1} sin tomar en cuenta la transicin vaca, partiendo de los
conjuntos de resultado, cada nuevo conjunto resultante se transformar en un
estado del AFD, si en la comprobacin uno de los resultados va al mismo estado,
y este estado ya est dentro del conjunto, se omite, as como si la comprobacin
demuestra que la transicin no existe. A medida que los conjuntos vayan
surgiendo, se revisarn en orden, todo el proceso se har hasta que no surjan
conjuntos soluciones nuevos.
Q 0 1
A={0 } B={1 } C={ 2 } {1 }
B={1 } B={1 } C={ 2 } {1 }
C={ 2 } {1 } D= { 4,1 } {3 } E= { 3,2 } {1 }
D= { 4,1 } {3 } F={1,0 } C={ 2 } {1 }
E= { 3,2 } {1 } G= {0 , 4,1 } {3 } E= { 3,2 } {1 }
F={1,0 } B={1 } C={ 2 } {1 }
G= {0 , 4,1 } {3 } F={1,0 } C={ 2 } {1 }

Una vez obtenida la tabla, simplificamos el resultado omitiendo los resultados y

dejando solo la letra identificadora del conjunto. Para saber cul es el estado de
entrada solo basta con fijar el que se us al principio, en este caso el conjunto A,
para conocer cul es el estado o estados de salida nos fijamos en cuales
conjuntos est el estado de salida del autmata original, en este caso el D y en G.

Q 0 1
A B C
B B C
C D E
D F C
E G E
F B C
G F C

Ahora se procede a dibujar el autmata en Jflap de acuerdo a la nueva tabla de

transicin:
El autmata ahora es AFD.
Ejercicio 3:
Teniendo en cuenta el ejercicio anterior, seleccionar el autmata finito determinista
(AFD). Con base en ese autmata desarrolle:

1. Describa la forma matemtica del autmata.

2. Plasme la tabla de transicin.

Q 0 1
A B C
B B C
C D E
D F C
E G E
F B C
G F C
 3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.).
Debe explicar y describir cada elemento y la funcin y significado en
el autmata. Conceptos y definiciones adicionales.

A=(Q= { A , B ,C , D , E , F , G } ; s= A ; ={ 0,1 } ; F=D ,G ; )

Tupla = Q= { A , B ,C , D , E , F , G } ; Est compuesta por todos los estados

del autmata.
Estado Inicial = s= A ; indica cual es el Estado desde donde inicia el
autmata, en el caso de este es A.
Alfabeto = ={ 0,1 } ; Indica los smbolos pertenecientes al alfabeto, los
cuales se indican en las transiciones del autmata.
Estado(s) Final(es) = F=D ,G ; Indica los estados finales del autmata,
en el grfico de este se pueden distinguir como los estados encerrados en
doble crculo.
Funcin de Transicin: ; La funcin de transicin indica a donde el
estado dirige un smbolo, como ejemplo podemos usar:
=( A , 1 )=C
Donde A ubica el Estado, el uno, es el smbolo de transicin, y C indica a
donde llega el smbolo.

4. Identifique el lenguaje que genera.

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 para probar va a ser (00110110)

Comenzamos en el estado inicial A, de aqu parte la cadena, en este momento
espera em smbolo para validar por que transicin tomar.

El autmata lee el primer smbolo, (0) y determina que 0 lleva al estado A a B.

El segundo smbolo le indica al autmata que la transicin con valor 0 dirije a

B, de nuevo a si mismo.

El Tercer Simbolo (1) le indica al autmata que parta del estado B, al estado C.
El autmata recibe el cuarto smbolo que indica que la transicin de C, 1 = E.

La transicin de E, 0 = G.

El Autmata regresa a C ya que G, 1 = C.

El Autmata vuelve a E, ya que C, 1 = E.

El autmata Finaliza (E, 0=G) ya que G es un Estado Final, por ende la cadena
cumple con los requisitos.
 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. (Ventajas que ofrezca uno u otro).

JFLAP

VAS
Similitudes:
El Sistema Grfico es bastante sencillo de usar, en ambos casos la interfaz
es muy intuitiva.
La comprobacin de cadenas es sencilla de ubicar, lo que permite ejecutar
las cadenas sin complicaciones.
Multi-herramientas que permiten varios modos de anlisis y ejecucin de
los autmatas.

Diferencias:
El JFLAP tiene un sistema de creacin de Estados ms eficiente, ya que
permite diferentes estados y luego hacer las configuraciones aparte, el VAS
impide hacer ms de un Estado sin que salga una ventana para especificar
el nombre.
La comprobacin paso a paso del VAS es mucho ms fcil de ubicar en el
men, aunque no ms especifica que la del JFLAP.
Aunque el VAS permite mostrar las Transiciones de estados, el JFLAP es
mucho ms completo en cuanto a herramientas y opciones.

7. Genere tres cadenas vlidas y dos no vlidas.

Vlidas:

(01001110)
(11100010)
(001110)

Invlidas:

(00100)
(111000)

Comprobacin en JFLAP:
 BIBLIOGRAFIA

Amaya Tarazona, Carlos Alberto (2015) Autmatas y Lenguajes Formales,

Duitama (Boy.)
Gonzales Amarillo, Angela Mara (2016). Conversin de AFN a AFD.
Recuperado de: https://www.youtube.com/watch?v=uLOXjZUTYyc&t=1202s
Gonzales Amarillo, Angela Mara (2016). Conversion de AFN a AFD con
transiciones vacias Recuperado de:
https://www.youtube.com/watch?v=NF47BSorRfU&t=372s