TECNOLÓGICO NACIONAL DE MÉXICO

INSTITUTO TECNOLÓGICO DE COMITÁN

ACTIVIDAD:
INFOGRAFIA 3.1

TEMA:
¿QUÉ ES UN AUTOMATA FINITO?

ASIGNATURA:
LENGUAJES Y AUTOMATAS

ALUMNO:
ESDRAS NEHEMIAS MORALES MONJARAS

NUMERO DE CONTROL:
A20700610

CARRERA:
INGENIERIA EN SISTEMAS COMPUTACIONALES

SEMESTRE Y GRUPO:
QUINTO “A”

CATEDRATICO
ING. SERGIO CARALAMPIO LÓPEZ MEZA

COMITÁN DE DOMÍNGUEZ, CHIAPAS, A 04 DE SEPTIEMBRE DEL 2022



¿QUE SON LOS

AUTOMATAS FINITOS?

¿QUÉ ES UN AUTÓMATA?
Un autómata es un modelo matemático para una
máquina de estado finito, en el que dada una
entrada de símbolos, “salta” mediante una serie de
estados de acuerdo a una función de transición
(que puede ser expresada como una tabla). Esta
función de transición indica a qué estado cambiar
dados el estado actual y el símbolo leído.

¿DE QUÉ MANERA SE PUEDE

REPRESENTAR UN AUTÓMATA?
1.- GRAFOS PARTICULARES
Los autómatas finitos se pueden representar mediante grafos particulares, también
llamados diagramas de estados finitos, de la siguiente manera:
Los estados Q se representan como vértices, etiquetados con su nombre en el
interior.
Una transición δ desde un estado a otro, dependiente de un símbolo del alfabeto, se
representa mediante una arista dirigida que une a estos vértices, y que está
etiquetada con dicho símbolo.
El estado inicial q0 se caracteriza por tener una arista que llega a él, proveniente de
ningún otro vértice.
El o los estados finales F se representan mediante vértices que están encerrados a
su vez por otra circunferencia.

2.- TABLA DE TRANSICIONES

Otra manera de describir el funcionamiento de un
autómata finito es mediante el uso de tablas de
transiciones o matrices de estados. Dos posibles
tablas para el ejemplo de la imagen anterior podrían ser
las siguientes. La primera representa explícitamente
los parámetros y el valor que toma cada ocurrencia de
la función de transición.7​ La segunda es más
compacta, y marca con una flecha el estado inicial, y
con un asterisco los estados finales.

AUTÓMATA FINITO DETERMINISTA

Es un autómata finito que además es un sistema determinista;
es decir, para cada estado en que se encuentre el autómata, y
con cualquier símbolo del alfabeto leído, existe siempre no más
de una transición posible desde ese estado y con ese símbolo.
En un AFD no pueden darse ninguno de estos dos casos:
Que existan dos transiciones del tipo δ(q,a)=q1 y δ(q,a)=q2,
siendo q1 ≠ q2;
Que existan transiciones del tipo δ(q, ε), salvo que q sea un
estado final, sin transiciones hacia otros estados.
Un tipo interesante de autómatas finitos deterministas son los
llamados acíclicos y un ejemplo de estos son los tries.

EJEMPLO DE AUTOMATA
DETERMINISTA
Autómata finito que podría formar parte de un analizador
léxico. El trabajo de este autómata consiste en reconocer
la palabra coding, por lo que necesita siete estados,
representando cada uno de ellos la posición que dentro de
dicha palabra se haya leído hasta el momento. Estas
posiciones corresponden con los prefijos de la palabra,
desde la cadena de caracteres vacía (es decir, cuando no
contiene ningún carácter) hasta la palabra completa.
AUTÓMATA FINITO NO DETERMINISTA
Es el autómata finito que tiene transiciones vacías o
que por cada símbolo desde un estado de origen se
llega a más de un estado destino, es decir, es aquel
que, a diferencia de los autómatas finitos
deterministas, posee al menos un estado, tal que, para
un símbolo del alfabeto, existe más de una transición
posible..

DEFINICIÓN FORMAL DE
AUTÓMATA FINITO
Sea M un conjunto:
M = (E, A, T, e0, F) donde
E todos los estados.
A es el alfabeto de entrada.
q0 representa el estado inicia que pertenece al conjunto E.
F los estados finales que están contenidos en E.
T la función de transición que está dada por: T: E x A -> P(E) donde
P(E) es el conjunto de subconjuntos de E.
Cuando se construye la tabla de transición: T(e,a) = R significa que si
se está en un estado e y se lee un símbolo a puede cambiar a
cualquiera de los estados e’ que pertenecen a R.

¿CUÁLES SON LOS ESTADOS

ACCESIBLES DE UN AUTÓMATA?
Dados dos estados dentro de un autómata, se dice que
uno de los estados es accesible desde el otro, si existe
una palabra x formada por símbolos del alfabeto de
entrada que hace que partiendo de este estado y a
través de la aplicación de la función de transición se
pueda llegar hasta el otro.

FUNCIONAMIENTO
En el comienzo del proceso de reconocimiento de una cadena de
entrada, el autómata finito se encuentra en el estado inicial y a
medida que procesa cada símbolo de la cadena va cambiando de
estado de acuerdo a lo determinado por la función de transición.
Cuando se ha procesado el último de los símbolos de la cadena de
entrada, el autómata se detiene en el estado final del proceso. Si
el estado final en el que se detuvo es un estado de aceptación,
entonces la cadena pertenece al lenguaje reconocido por el
autómata; en caso contrario, la cadena no pertenece a dicho
lenguaje.

REFERENCIAS
Automatas Wiki. (24 de Noviembre de 2021). Recuperado el 04 de Septiembre de 2022, de Automatas Wiki:
https://automatas.fandom.com/es/wiki/AUT%C3%93MATA_FINITO_NO_DETERMINISTA#AUT%C3%93MATA_FINITO_NO
_DETERMINISTA

García, M. (13 de Julio de 2018). Codingornot. Recuperado el 04 de Septiembre de 2022, de Codingornot:

https://codingornot.com/que-es-un-automata

huaman, W. C. (27 de Agosto de 2018). Medium. Recuperado el 04 de Septiembre de 2022, de Medium:

https://medium.com/@maniakhitoccori/qu%C3%A9-es-un-aut%C3%B3mata-fbf309138755

Ucha, F. (10 de Julio de 2012). Definicion ABC. Recuperado el 04 de Septiembre de 2022, de Definicion ABC:
https://www.definicionabc.com/general/automata.php

Esdras Nehemias Morales Monjaras

A20700610 / ISC / 5° A