Asignatura: Lenguajes y Autómatas

Profesora: M. en C. Marı́a del Carmen Cedillo Chagoya

Autónomas Finitos

Un autómata es un sistema que puede ser programable en un lenguaje para realizar algún proceso
secuencial. A continuación se definen los dos tipos de autómatas principales:

Un Autómata Finito Determinista (AFD) es un modelo matemático que está definido por medio de un
diagrama de transiciones que representa a una máquina que va de un estado a otro como respuesta a cada
uno de los sı́mbolos de una cadena de entrada.
Formalmente un AFD se define por una quı́ntupla M = (Q, Σ, q0 , F, δ) donde:

• Q: es el conjunto de estados,
• Σ: es el alfabeto de entrada,
• q0 : es el estado inicial,

• F : es el conjunto de estados finales, entonces F ⊆ Q y

• δ: es la función de transición definida por δ : Q × Σ → Q.

La principal caracterı́stica de un AFD es que para cada sı́mbolo del alfabeto Σ sólo existe uno y sólo un
estado al que el autómata puede hacer la transición a partir de su estado actual.
Si M es un AFD, entonces se denota por L(M ) al lenguaje aceptado por M , es decir, L(M ) es el conjunto
de cadenas que conducen al autómata desde el estado inicial hasta un estado final (de aceptación):

L(M ) = {w ∈ Σ∗ : δ(q0 , w) ∈ F }

Por otra parte un Autómata Finito No Determinista (AFN) es aquel que puede tener n ≥ 0 transiciones
distintas para un mismo sı́mbolo desde un mismo estado.
Formalmente un AFN se define por una quı́ntupla M = (Q, Σ, s, ∆, F ) donde:

• Q: es el conjunto de estados,
• Σ: es el alfabeto de entrada,

• s: es el estado inicial,
• F : es el conjunto de estados finales, entonces F ⊆ Q y
• ∆: es la función de transición definida por ∆ : Q × Σ → 2Q .