AUTÓMATAS Y LENGUAJES FORMALES

UNIDAD 1 – FASE 1

PRESENTADO POR:

JHON STEVEN MEJIA

GRUPO

301405_74

PRESENTADO A:

CLARA ISABEL ALEMAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

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

será el siguiente estado,

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>,

donde Q es el conjunto de estados, T el alfabeto de símbolos terminales, la relación de transiciones

ó F son los estados finales o de llegada dentro de Q, q0 es el estado inicial o de

partida; se dice que A es un autómata finito determinista (AFD) si y sólo si se satisface en g las siguientes
propiedades:

 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:


y los siguientes casos:


 <A, , B>.

Son transiciones de autómatas finitos no deterministas.