Tecnológico de Estudios Superiores de Ecatepec

División de Ingeniería en Sistemas Computacionales

LENGUAJES Y AUTÓMATAS I
Profesor: Stein Carrillo Juan Manuel

ACTIVIDAD EN CLASE 2
Bello Pérez Ximena
Grupo: 5503
01 de junio de 2021.
CONTENIDO
INTRODUCCIÓN............................................................................................................................3
DESAROLLO..................................................................................................................................4
EJERCICIOS HECHOS EN CLASE.........................................................................................4
EJERCICIO 1...........................................................................................................................4
EJERCICIO 2 – Autómata No Finito..................................................................................6
EJERCICIO 3...........................................................................................................................7
EJERCICIO 4...........................................................................................................................8
EJERCICOS DE LA ACTIVIDAD 1........................................................................................11
EJERCICIO 1.........................................................................................................................11
EJERCICIO 2.........................................................................................................................13
CONCLUSIÓN...............................................................................................................................16
BIBLIOGRAFÍA............................................................................................................................16
INTRODUCCIÓN
Un autómata finito es un modelo matemático de una máquina que acepta cadenas
de un lenguaje definido sobre un alfabeto A. Consiste en un conjunto finito de
estados y un conjunto de transiciones entre esos estados, que dependen de los
símbolos de la cadena de entrada.
El origen de los autómatas finitos probablemente se remonta a su uso implícito en
máquinas electromecánicas, desde principios del siglo XX. Ya en 1907, el
matemático ruso Andréi Márkov formalizó un proceso llamado cadena de Markov,
donde la ocurrencia de cada evento depende con una cierta probabilidad del
evento anterior. Esta capacidad de "recordar" es utilizada posteriormente por los
autómatas finitos, que poseen una memoria primitiva similar, en que la activación
de un estado también depende del estado anterior, así como del símbolo o palabra
presente en la función de transición. [ CITATION Wik211 \l 2058 ]
DESAROLLO
EJERCICIOS HECHOS EN CLASE
EJERCICIO 1
Máquina de Estados
A= ( { q0, q1, q2}; {0, 1}; ᵹ; q0; {q2} )
Diagrama de Transición de Estado

Tabla de transición
0 1
q0 q1 q0
q1 q1 q2
q2 q2 q2
Verificar las siguientes cadenas
W= 11010
W= 010
W=01110
EJERCICIO 2 – Autómata No Finito
Diagrama de Transición de Estado

Máquina de Estados
A= ( { q0, q1, q2}; {0, 1}; ᵹ; q0; {0 – No hay estado final} )
Tabla de transición
0 1
q0 q0,q1 q0
q1 --- q2
q2 --- ---
Verificar las siguientes cadenas
W= 00101
La cadena es correcta al ser verificada como ANoF, pero el simulador que
estamos usando es de AFD, y al no contar con un estado final sabemos que se
trata de un ANoF, por lo tanto al verificar con el simulador NO es aceptada porque
no colocamos estado final.
EJERCICIO 3
Máquina de Estados
A= ( { q0, q1, q2, q3}; {0, 1}; ᵹ; q0; {q3} )
Diagrama de Transición de Estado

Tabla de transición
0 1
q0 q1 ---
q1 --- q2
q2 q2, q3 q2
q3 q3 q3

Verificar las siguientes cadenas

W= 0110101
EJERCICIO 4
Máquina de Estados
A= ( { q0, q1 }; {0, 1, 2}; ᵹ; q0; {q1} )
Diagrama de Transición de Estado

Tabla de transición

0 1 2
q0 q0 q0 q1
q1 q1 q1 ---

Verificar las siguientes cadenas

W= 120

W= 021
W= 210
W= 201
 EJERCICOS DE LA ACTIVIDAD 1
EJERCICIO 1
Sea A= ( { q0, q1, q2}; {x, y}; ᵹ; q0; {q1} ) con la función de transición ᵹ dada por la
tabla.
x y
q0 q0, q2 q1
q1 q2 ----
q2 ---- q1
a) Crear el Diagrama de transición de Estados

b) Verificar las siguientes cadenas

W1= xxyxy
W2= xyx

W3= yxyxy
W4= xxxxxxxxy

EJERCICIO 2
Sea el autómata finito dado por la tabla.
0 1
a b a
b b c
c c b
a) Realizar la máquina de estados A = { , , , , }
A= ( { a, b, c}; {0, 1}; ᵹ; {a}; {b} )

b) Crea el diagrama de transición de estados

c) Verificar la siguientes cadenas
W1= bac

W2= cab
W3= baccc
CONCLUSIÓN
El uso de autómatas dentro de la ingenierías de computación han permitido
facilitar la resolución de problemas de gran complejidad, además que nos han
permitido conocer todos aquellos procesos o posibles decisiones que tengan las
máquina, como parte de un modelo matemático considero que es cuestión de
practica para que podamos lograr entender con facilidad los autómatas y de igual
manera comprender su comportamiento; considero que quizá parezca bastante
complejo resolver este tipo de problemas pero apoyándonos como en este caso
fue del simulador se vuelve más sencillo es trabajo pero claro sólo lograremos
comprender si practicamos todo lo aprendido en clase.

BIBLIOGRAFÍA
G H D. (s.f.). Máquinas de estados: autómatas finitos deterministas (afd). Obtenido
de Máquinas de estados: autómatas finitos deterministas (AFD):
https://www.institucional.frc.utn.edu.ar/sistemas/ghd/T-M-AFD.htm
Microsoft Word. (2009). Microsoft Word - ApunteAutomatasFinito. Obtenido de
Microsoft Word - ApunteAutomatasFinito:
https://users.exa.unicen.edu.ar/catedras/ccomp1/ApunteAutomatasFinitos.p
df
Wikipedia. (16 de Febrero de 2021). Autómata finito - Wikipedia, la enciclopedia
libre. Obtenido de Autómata finito - Wikipedia, la enciclopedia libre:
https://es.wikipedia.org/wiki/Aut%C3%B3mata_finito#:~:text=Un%20aut
%C3%B3mata%20finito%20(AF)%20o,un%20conjunto%20de%20estados
%20finales.