Académique Documents
Professionnel Documents
Culture Documents
UNIDAD 1 – FASE 1
PRESENTADO POR:
GRUPO
301405_74
PRESENTADO A:
CEAD PALMIRA
FEBRERO - 2017
AUTOMATA FINITO DETERMINISTA
Un Autómata Finito Determinista (AFD) es un autómata finito que se caracteriza por producir siempre la misma
salida a partir de las mismas condiciones (Input), es decir que su característica principal es permitir saber cuál
EJEMPLO AFD
𝑄 = {𝑞0 , 𝑞1 , 𝑞2 }
𝑞0 = 𝐸𝑠𝑡𝑎𝑑𝑜 𝐼𝑛𝑖𝑐𝑖𝑎𝑙
Σ = {0, 1}
𝐹 = {𝑞2 }
𝛿 = 𝑓𝑢𝑛𝑐𝑖𝑜𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛
𝛿(𝑞0 , 1) = 𝑞0
q 𝜎 𝛿(𝑞, 𝜎)
𝑞0 1 𝑞0
𝑞0 0 𝑞1
𝑞1 0 𝑞1
𝑞1 1 𝑞2
𝑞2 0 𝑞2
𝑞2 1 𝑞2
𝐴 = (𝑄, Σ, 𝛿, 𝑞0 , 𝐹)
Propiedades
El ejercicio anterior es la muestra de un ejemplo de un autómata finito definido por la 5-tupla A=<Q, T, g, F, q0>,
Toda transición de g no es vacía (cosa que se cumple en este caso, debido a la definición particular de g
que excluye de los símbolos de transición a las cadenas vacías, cosa que no sucede en la definición
general de autómata finito donde ).
Desde cualquier estado y con el mismo terminal solo se va a uno y solo un estado, es decir
.
En términos planos, esto significa que solo se podrá ir desde un estado A mediante el terminal x a un
único estado B:
<A, , B>.