AUTOMATAS Y LENGUAJES FORMALES

FASE 1

PRESENTADO A:

TUTOR: LUIS ERNESTO BONILLA

POR:YILVER VALENCIA PALACIOS

CODIGO:11706663

GRUPO No. 301405_40

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

“UNAD”

PROGRAMA DE INGENIERIA DE SISTEMAS

CEAD TURBO
MARZO DE 2018.
 ACTIVIDADES INDIVIDUALES:

Actividad 1:

El estudiante realiza una presentación con la definición,

características, propiedades y ejemplos propios de:

 Lenguaje regular.
 Expresión regular.
 Autómata finito.
 Autómata finito determinista.
 Autómata finito no determinista .
 AUTOMATA FINITO DETERMINISTA - AFD

DEFINICION CARACTERISTICAS

Un autómata finito es un modelo  Un AFD es una maquina de estados que tiene acceso a
matemático de una máquina que una secuencia de símbolos de entrada (mediante una
acepta cadenas de un lenguaje cabeza lectora).
definido sobre un alfabeto. Consiste
en un conjunto finito de estados y  Un AFD se encuentra en cada momento en un estado
un conjunto de transiciones entre determinado.
esos estados, que dependen de los
símbolos de la cadena de entrada.  Un AFD detiene el procesamiento, cuando no le
El autómata finito acepta una quedas mas símbolos en la entrada.
cadena x si la secuencia de
transiciones correspondientes a
los símbolos de x conduce desde el
estado inicial a un estado final.
 AUTOMATA FINITO DETERMINISTA - AFD

PROPIEDADES EJEMPLOS

 Estado accesible: Sea un AFD 𝐴 = Autómata que acepta las cadenas (01)𝑛 1:
(𝑄, Σ, 𝑓, 𝑞0 , 𝐹). Se dice que un estado 𝑞𝑖 ∈ 𝑄 es 𝑨 = ( 𝒒𝟎 , 𝒒𝟏 , 𝒒𝟐 , 𝒒𝟑 , 𝟎, 𝟏 , 𝒇, 𝒒𝟎 , {𝒒𝟐 }), donde la
accesible desde otro estado 𝑞𝑗 ∈ 𝑄 si ∃𝑥 ∈ Σ ∗ función de transición 𝑓 está definida como
tal que 𝑓 ∗ 𝑞𝑖 , 𝑥 = 𝑞𝑗 . sigue a continuación:
 Autómata conexo: Sea un AFD 𝐴 =
(𝑄, Σ, 𝑓, 𝑞0 , 𝐹). Se dice que el autómata A es 𝑓 𝑞0 , 0 = 𝑞1 𝑓 𝑞0 , 1 = 𝑞2
conexo si: ∀𝑞 ∈ 𝑄: 𝑞 es accesible desde 𝑞0 . 𝑓 𝑞1 , 0 = 𝑞3 𝑓 𝑞1 , 1 = 𝑞0
 Estados equivalentes: Dos estados 𝑝 y 𝑞 se 𝑓 𝑞2 , 0 = 𝑞3 𝑓 𝑞2 , 1 = 𝑞3
dicen equivalentes (𝑝Ε𝑞) si: ∀𝑥 ∈ Σ ∗ : 𝑓 ∗ 𝑝, 𝑥 ∈ 𝑓 𝑞3 , 0 = 𝑞3 𝑓 𝑞3 , 1 = 𝑞3
𝐹 ⇔ 𝑓 ∗ 𝑞, 𝑥 ∈ 𝐹.
Dos estados 𝑝 y 𝑞 se dicen equivalentes
respecto a la palabra de longitud 𝑛 o menor,
(𝑝Ε𝑛 𝑞) si: ∀𝑥 ∈ Σ ∗ 𝑐𝑜𝑛 𝑥 ≤ 𝑛: 𝑓 ∗ 𝑝, 𝑥 ∈ 𝐹 ⇔
𝑓 ∗ 𝑞, 𝑥 ∈ 𝐹.
 Estados distinguibles: Dos estados son
distinguibles si NO son equivalentes.
 REFERENCIAS BIBLIOGRAFICAS

 Quiroga, E. (2008). Modulo: Autómatas y lenguajes formales. Universidad Nacional Abierta y a

Distancia. Escuela de ciencias básicas, tecnología e ingeniería.
 Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 8: Propiedades de lenguajes
regulares. Universidad Rey Juan Carlos. [Artículo de internet]. Recuperado de
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo8.pdf
 Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 7: Expresiones Regulares.
Universidad Rey Juan Carlos. [Artículo de internet]. Recuperado de
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo7.pdf
 (2009). CIENCIAS DE LA COMPUTACION I: Autómatas finitos. [Artículo de internet]. Recuperado
de http://www.exa.unicen.edu.ar/catedras/ccomp1/ApunteAutomatasFinitos.pdf
 Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 5: Autómatas finitos
deterministas. Universidad Rey Juan Carlos. [Artículo de internet]. Recuperado de
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo5.pdf
 Billhardt, H. Teoría de Autómatas y Lenguajes Formales. Capítulo 6: Autómatas finitos no
deterministas. Universidad Rey Juan Carlos. [Artículo de internet]. Recuperado de
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo6.pdf