Fase 2- Conocer formalismos usados para definir lenguajes formales

Presentado por:
Raul Andrés Jiménez
Código: 80220672
Cel: 3229444753
Grupo 301495_16
Skype: Majive2006@hotmail.com

Presentado a:
Rolando Fabian Junco

Universidad Nacional Abierta y a Distancia UNAD

Autómatas y Lenguajes Formales
Programa Ingeniería de Sistemas
CEAD JAG
Marzo de 2020
 Desarrollo de la actividad

Teniendo en cuenta el siguiente autómata realice:

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

R: A continuación, se muestra la forma matemática del autómata:

Q= { q0 , q1 , q3 , q 4 }
S=q0
∑ ¿ { a ,b }
F={q1 ,q 4 }

2. Plasme la tabla de transición.

R: A continuación, se muestra la tabla de transición según el

autómata propuesto:

f a b
q0 q4 q 0 ,q 3

q1 q1 q4

q3 q4 q1

q4 q0 q4
 REFERENTES BIBLIOGRÁFICOS

Kelley, D., & Platas, M. L. D. (1995). Teoría de autómatas y lenguajes formales (Vol. 22). Prentice
Hall.

Moral, S. (2001). Teoría de Autómatas y Lenguajes Formales.

González, R. (2007). El Test de Turing: Dos mitos, un dogma. Revista de filosofía, 63, 37-53.

Juárez Gongora, P. C. El código enigma: las penurias de no ser un hombre “normal. El Búho
Gaceta Electrónica de la Facultad de Derecho UNAM, 1(26).

Wilson, S. (2016). El código enigma: La histeria y el discurso de la tecnociencia. Lapso, (1), 48-58.