AUTOMATAS Y LENGUAJES FORMALES

CÓDIGO: 301405A_761

Fase 2 Conocer formalismos usados para definir lenguajes formales

Presentado a:

VERMEN RAINER AYALA

Entregado por:

José Carlos Mejía

Código: 18.959.743

Sebastian Restrepo Martinez

Código: 1.214.726.460

Grupo: 301405_55

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

10/03/2020

Medellín
 ACTIVIDAD COLABORATIVA

Actividad 3:

Teniendo en cuenta el siguiente autómata realice:

1. Describa la forma matemática del autómata

A=[ ( q o , q 1 , q 3 , q 4 ) , ( a , b ) , qo , , ( q1 ) ]
K= ( q o , q1 , q3 , q 4 )
∑ ¿ ( a ,b )
S ∈ A=q o ,
F ⊆ A=q o ,

2. Plasme la tabla de transición.

Entrada Entrada
Estado a b
qo q4 q o , q3
q1 q1 q4
q3 q4 q1
q4 qo q4
 Entrada Entrada
Estado a b
A D AC
B B D
C D B
D A D

3. Identifique los elementos (tupla, estado final, inicial, alfabeto,

etc.). Debe explicar y describir cada elemento y la función y
Significado en el autómata. Conceptos y definiciones adicionales.

La definición de un autómata finito está dada por:

TUPLA
Es una secuencia de valores agrupados, sirve para agrupar como si fuera un
único valor, varios valores que por naturaleza deben estar juntos
( Q , Σ , δ ,q 0 , , F ) Son elementos que conforman un autómata.

ESTADO FINAL
Es el conjunto de estados de aceptación, se representa mediante vértices que
están encerrados a su vez por otra circunferencia.
( F=q 4 , )

ESTADO INICIAL
Se caracteriza por tener una arista que llega al él, proveniente de ningún otro
vértice, es donde inicia el autómata.
( S=q0 , )

ALFABETO
Es el alfabeto del autómata, se representa por letras o números.
( Σ=(a , b) )

ESTADOS
Se representan como etiquetas con su nombre en el interior.
K= ( q o , q1 , q3 , q 4 )

TRANSICION
Va de un estado a otro dependiendo de un símbolo del alfabeto.

4. Muestre en el simulador (gráficamente) como recorre una

cadena válida. Explique cada secuencia.

Cadena de entrada: baab

Con la primera letra b se evidencia que el autómata se queda en el estado q0,
pero también pasa al estado q3

Con la entrada a el autómata pasa al estado final q4

Con la entrada a el autómata vuelve al estado inicial q0

Y por último con el ultimo carácter b el autómata se queda en el estado q0
pero también pasa al estado q3

Cadena de entrada: abbba

Con el carácter a vemos que el autómata pasa al estado final q4

Con el carácter b el autómata se queda en el mismo estado q4

Con los siguientes caracteres bb vemos que el autómata no cambia de estado

Con el ultimo carácter a vemos que el autómata regresa al estado q0

Cadena de entrada: bbbbaaa

Con el carácter b se evidencia que el autómata cambia de estado a q3

Con el segundo carácter b pasa al estado final q1

Con el tercer carácter b pasa al estado final q4

Con el siguiente carácter b se evidencia de que el autómata queda en el estado

q4
Con el carácter a se queda en el mismo estado q1

Con el ultimo carácter a se evidencia de que el autómata se dirige a varios

estados q1, q4 y se queda en q4
5. 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

Diagrama de Moore en JFLAP

Diagrama de Moore en VAS

Similitudes:

 Poseen la herramienta de conversión de AFND a AFD

Diferencias:

 Vemos como en uno JFLAP se escogen los botones, se mantiene la

selección y se puede seguir insertando estados o transacciones,
en VAS hay que volver a seleccionar el botón del elemento a
insertar, el primero los gráficos son a color, en el segundo
muestra las transacciones continuas, el primero las muestra paso
a paso.

 VAS posee algunas limitaciones en las simulaciones y en las

limitaciones de conversiones, JFLAP y sin lugar a dudas tiene
muchas más herramientas de uso que el primero.
 El diagrama de Moore entre los dos se ve mucho mejor con Vas
pero no permite muchas otras simulaciones.

 JFLAP permite correr varias cadenas de entrada al tiempo y

evaluar su grado de aceptabilidad.

REFERENCIAS BIBLIOGRAFICAS
Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de
automáta [Archivo de video]. Recuperado de

Alemán. H. [Helena]. (2018, mayo 23). Expresión Regular

[Archivo de video]. Recuperado de

González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata

Finito No Determinista a Autómata Finito Determinista [Archivo de
video]. Recuperado de

González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata

Finito No Determinista a Autómata Finito Determinista con
transiciones vacías – Método 1. [Archivo de video]. Recuperado
de