Autómatas Finitos

Autómata Finito:

Lenguajes Regulares

Representados por Gramáticas

Expresiones Regulares Regulares o de tipo 3

Autómata Finito: Es un modelo formal matemático abstracto que permite reconocer un lenguaje regular determinado o sea
que si las palabras de cierto lenguaje, pertenecen o no pertenecen a ese lenguaje regular.
 Autómata finito

Grafo (1):

Vértices o nodos Aristas

Estados
Transiciones

(1) Representación simbólica de los elementos constituidos de un sistema o conjunto, mediante esquemas gráficos.
"las relaciones de orden pueden representarse mediante un diagrama cartesiano o un grafo dirigido"
Ejemplo:
Definición formal del autómata
L={an,b/n>=0}
Q={q0,q1}
Σ={a,b} Σ={a,b}
ER a*b q0=q0
F=q1
GR S aS|b Producciones
δ (q0, a) = q0
Σt ={a,b} δ (q0, b) = q1
Σn ={S}
S=S

Tabla de transiciones

Σ
Q >q0 q0 q1
* q1 ‐‐ ‐‐
W=a,b q0⇒a⇒q0⇒b⇒∈ F Es aceptado
W=a q0⇒q0 q0 ∉F Es rechazado por que q0 no es final
W= abab q0⇒a ⇒q0⇒b⇒q1⇒q⇒? Es rechazado porque no hay transición
 Reglas

El AF debe aceptar todas las palabras del lenguaje

No deben sobrar palabras, es decir, no puede

aceptar palabras ajenas al lenguaje.
 Ejemplos

(a b)* a*|b*

Para que acepte la

a b palabra vacía
>q0 q1 q2
*q1 q1 ‐‐ Es un AF incompleto
*q2 ‐‐ q2 pero por que hay
lugares sin utilizar
 Autómata coleto, contemplando estado de error

a b
>q0 q1 q2
*q1 q1 qe Error
*q2 qe q2
qe qe qe
Conexos y no conexos
Autómata finito determinista y no determinista
Autómata Finito Determinista (AFD) es un autómata finito en donde δ (delta) es una función de transición,
es decir, que para cada par (estado actual y símbolo de entrada) le corresponde un único estado siguiente.

Autómata Finito No Determinista (AFND) es un autómata finito en donde δ no es necesariamente una

función de transición, es decir, que para cada par (estado actual y símbolo de entrada) le corresponde
cero, uno, dos o más estados siguientes, Normalmente la relación de transición para un AFND se denota
con ∆. Es decir es cuando de un estado sale mas de una transición con el mismo símbolo o si sale una
transición etiquetada con λ que permite pasar a otro estado sin razón alguna .
Autómata Finito no Determinista
Autómatas Finitos Equivalentes:

Dos autómatas finitos son equivalentes, si ambos reconocen el

mismo lenguaje regular
Minimización
Otro Ejemplo:
Método intuitivo
Aplicando Algoritmo:

Marco estado
final con no
final
 q0 a q1 q1 q5 no tiene marca
q3 a q5 no marco

q0 b q2 sin marca
q3 b q5
q0 a q1 no marco
q4 a q5

q0 b q2 no marco
q4 b q5
q1 a q3
q5 a q5 marco

q1b q4
q5b q5 Marco

Primera vez Se repique hasta que no queda

nada por marcar

(q1 y q2) y (q3 y q4) que quedaron sin

marcar, son equivalentes y se pueden colapsar

Segunda vez Tercera vez AFD Mínimo

 Tipos de análisis de compiladores e
intérpretes

Análisis léxico:
Se encarga de verificar que todas las cadenas y símbolos pertenecen al lenguaje.

Análisis sintético:
Se encarga de analizar la estructura de las expresiones en base a gramáticas.

Análisis semántico:
Se realizan revisiones para asegurar que los componentes de un programa se ajusten de manera
significativa
Analizador de lexico
Analizador de sintaxis
Compilador Intérprete
Casos de utilización :

‐ Desarrollo de software que debía emular Excel

‐ Análisis de impacto del año 2000
‐ Búsqueda de direcciones para códigos postales en correo
‐ Desarrollo de juegos y simuladores
‐ Software de documentación automática de sistemas
‐ Interpretación de textos escritos y hablados
‐ Etc.
 Fuentes:

https://youtu.be/A_a0Nv7wSDk
https://core.ac.uk/download/154797605.pdf

FUNDAMENTOS DE CIENCIAS DE LA COMPUTACIÓN NOTAS DE CURSO Dr. Juan Carlos Augusto

http://automatas‐finitos.blogspot.com/2009/12/automatas‐conexos.html

https://www.youtube.com/watch?v=HwB5maditNY&ab_channel=NoeHernandez