Universidad Nacional Abierta y a Distancia

Vicerrectoría Académica y de Investigación

Autómatas y Lenguajes Formales

Fase 2: Conocer formalismos usados para definir lenguajes

formales.

Tutor

Jheimer Julián Sepúlveda López

Estudiante grupo 301405_38

Cesar Stiven Rodriguez Basto – 1.030.619.052

Wilfran Rafael Martinez Arroyo - 1.067.717.655

Agustín Codazzi Cesar

CEAD Valledupar

Marzo de 2019
 Actividad Colaborativas
Teniendo en cuenta los ejercicios desarrollados por los estudiantes el Grupo,
selecciona uno de los autómatas finitos deterministas (AFD). Con base en ese
autómata desarrollan:
Ejercicio 5

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

2. Plasme la tabla de transición.

a b c
q0 q1 - q0
q1 - q2 -
q2 - - -
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.
( )
( )
( )
( )
( )
Conceptos y definiciones adicionales
AFD: Autómata Finito Determinístico. Consiste en un grupo de estados y un conjunto
de transiciones de estado a estado, que se dan sobre símbolos de entrada tomados de
un alfabeto S. Para cada símbolo de entrada existe exactamente una transición a
partir de cada estado. El estado q0, es el estado inicial, en el que el autómata
comienza. Algunos estados están designados como final o de aceptación.
Autómata: Una máquina abstracta cuyos mecanismos de mando fueron diseñados
para seguir una sucesión predeterminada de funcionamientos automáticamente o
responder a las instrucciones incluidas en el código. El autómata que se estudia se
idealiza en máquinas cuya conducta puede ser explicada en términos de algún sistema
descriptivo formal donde se manipulan símbolos en lugar de hardware.
La palabra vacía Es la misma para todos los alfabetos y se denota como λ.
Los estados: Son las diferentes situaciones o combinaciones que se pueden
presentar en el autómata, además son círculos que llevan dentro el nombre que los
identifica.
El estado inicial: Nos brinda la pauta para saber por dónde es la salida o partida del
autómata. Se le reconoce porque tiene una pequeña flecha sobre este.
El estado final: Nos representa un estado de aceptación.
Las transiciones: son los respectivos movimientos que se presenta entre un estado y
otro. En la tabla de transición al estado inicial suele señalarse con una flecha y al
estado final con el signo numeral.
4. Muestre en el simulador (gráficamente) como recorre una cadena válida.
Explique cada secuencia. (No se trata solo de captura las imágenes, estas
deben ser explicadas en pie de página o de lo contrario no tienen validez)
Cadena válida: ccb
Estado inicial q0

 Se queda en el mismo estado q0 y lee una c

 Repite el mismo proceso, el mismo estado q0 y lee la segunda c

 Pasa al estado final q2 y lee la b.
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. (Ventajas que ofrezca uno u otro).

Diagrama de Moore en JFLAP

Diagrama de Moore en VAS

 Similitudes
1. Ambos simuladores pueden simular
AF y AFN
2. Ambos simuladores muestran las
posibles cadenas válidas y no
válidas
3. Ambos simuladores convierten AFN
A AF
Diferencias
1. En el simulador VAS hay que escribir el
nombre de cada estado, en el simulador
JFLAP salen nombrados.
2. En el simulador VAS se puede
visualizar la tabla de transición, en el
simulador JFLAP no.
3. En el simulador JFLAP se convierte el
AF a ER, en el simulador VAS no.
 Referencias Bibliográficas

(págs. 127 - 142).

formales, T. d. (2007-01-01). Teoría de autómatas y lenguajes formales. En T. d. formales, Teoría de autómatas y

lenguajes formales (págs. 71 - 115). McGraw-Hill España.

Gregori, J. F. (2012-01-01). Matemática discreta (2a. Ed.). En J. F. Gregori, Matemática discreta (2a. Ed.) (págs. 207-
232). Editorial Reverté.

Millán, J. A. (2009-01-01). Compiladores y procesadores de lenguajes. En J. A. Millán, Compiladores y procesadores de

lenguajes (págs. 28-62). Servicio de Publicaciones de la Universidad de Cádiz.

Rodríguez, L. A. (2010-01-01). Practique la teoría de autómatas y lenguajes formales. En L. A. Rodríguez, Practique la

teoría de autómatas y lenguajes formales (págs. 1 -124). Ediciones elizcom.