Luis - E - Gutierrez - Fase 5

Fase 5
Autómatas y Lenguajes
Desarrollar aplicaciones con
Formales
Autómatas
Desarrollo de la Actividad Individual
Fase 5 Desarrollar aplicaciones con Autómatas
Autómatas Y Lenguajes Formales
Luis Ehrman Gutierrez Ch.

CÓDIGO: 16.796.051
GRUPO: 35
TUTOR:
Alkigner Cuesta
Universidad Nacional Abierta Y A Distancia

Escuela De Ciencias Básicas, Tecnología E Ingeniería
Diciembre de 2019
Fase 5
Formales
Autómatas
1. Autor
Luis Ehrman Gutierrez Ch. Código 16.796.051
(Elaborado por):
Fecha de elaboración 01 12 2019
TABLA DE CONTENIDO
DESARROLLO DE LA ACTIVIDAD....................................................................................................3
Ejercicio 1.........................................................................................................................................3
Ejercicio 2.........................................................................................................................................9
Ejercicio 3: Realice la minimización paso a paso del autómata finito determinista.......................10
Ejercicio 4: Realizar el autómata a Pila de L={ (abb+ccn)*}.........................................................11
Realizar el autómata a Pila de L={ (abb+ccn)*}............................................................................11
Ejercicio 5.......................................................................................................................................11
BIBLIOGRAFIA.....................................................................................................................................13
Fase 5
Formales
Autómatas
DESARROLLO DE LA ACTIVIDAD
Ejercicio 1
De cada uno de los siguientes autómatas, realizar el procedimiento paso a paso de hallar la expresión
regular, el lenguaje regular y explicar el tipo de autómata que es:
Ejercicio – Autómata #
1
Autómata Finito Determinista
- Explicar las características del tipo de autómata
Caracterización del
autómata
Un AFD indica que para una entrada solo existe una salida a otro estado, en este
autómata no se repite ninguna salida a otro estado con el mismo valor.
Procedimiento de Procedimiento paso a paso de la conversión del autómata a expresión regular.

conversión de
autómata a expresión
regular paso a paso
Lo haremos por eliminación iniciando con q1

Fase 5
Formales
Autómatas
Eliminamos q2
Lenguaje regular ER= ( 01 )∗(11∗0+ 00)
Ejercicio – Autómata
#2

Fase 5
Formales
Autómatas
autómata
Un AFD indica que para una entrada solo existe una salida a otro estado, en este
autómata no se repite ninguna salida a otro estado con el mismo valor.
Procedimiento paso a paso de la conversión del autómata a expresión regular.
Lo haremos por eliminación iniciando con q2

Procedimiento de
conversión de
regular paso a paso
Eliminamos q0
Fase 5
Formales
Autómatas
Lenguaje regular ER= ( 01 )∗( 11∗0+00 )
#3
Autómata Finito No Determinista
autómata
Un AFND hace referencia que para una entrada pueden existir varias opciones
de salida en este casoq0 existen dos salidas con el valor “0”, una para q1 y otra
para q2.
Procedimiento de
conversión de
regular paso a paso
Se tienen las ecuaciones:

Fase 5
Formales
Autómatas
q 0=1 q0 +0 q2 +0 q1
q 2=1 q1 +0 q 0
Pendiente
Lenguaje regular ER=( Pendiente)
#4
autómata
Un AFND hace referencia que para una entrada pueden existir varias opciones
de salida en este casoq0 existen dos salidas con el valor “0”, una para q1 y otra
para q2.
Procedimiento de Procedimiento paso a paso de la conversión del autómata a expresión regular.

conversión de
regular paso a paso
Fase 5
Formales
Autómatas
Se tienen las ecuaciones:
q 0=1 q0 +0 q2 +0 q2
q 2=0 q 2+1 q 1
Pendiente
#5

autómata
Pendiente
Fase 5
Formales
Autómatas
Procedimiento de
conversión de
autómata a expresión Se tienen las ecuaciones:
regular paso a paso
q 0=1 q0 +0 q2 +0 q1
q 1=1 q3
q 3=1 q2
Pendiente

Fase 5
Formales
Autómatas
Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD según corresponda
Ejercicio a trabajar
Realizar la ∑={ a , b }
conversión de AFD
a AFND o de Q= { q0 , q1 , q2 , q3 , q 4 ,q 5 }
AFND a AFD
según corresponda S= { q0 }
F={ q 3 ,q 4 }
S= { q0 }
Estado (cerradura) A b
{0}={0}=A Mover(A,a) = {1} Mover(A,b) = {5}
{1}={1}=B Mover(B,a) = {} Mover(B,b) = {}
{5}={5,4}=C Mover(C,a) = {} Mover(C,b) = {5,1}
{2}={2,3}=D Mover(D,a) = {5,2} Mover(D,b) = {2,4}
{5,2}={5,4,2,3}=E Mover(E,a) = {5,2} Mover(E,b) = {5,1,2,4}
{5,1,2,4}={5}=F Mover(F,a) = {} Mover(F,b) = {5,1}
Falta
Fase 5
Formales
Autómatas
α ( q0 , a ) =q1
α ( q0 , b ) =q5
α ( q2 , a ) =q5
α ( q2 , b ) =q2
α ( q2 ,ℷ )=q 3
α ( q3 , a ) =q2
α ( q3 , b ) =q 4
α ( q4 , b )=q 1
α ( q5 , b ) =q5
α ( q5 , ℷ )=q 4
Por el proceso realizado podemos darnos cuenta que es un

Autómata determinista
Ejercicio 3: Realice la minimización paso a paso del autómata finito determinista
Ejercicio a trabajar
Realice la
minimización paso a Paso 1: Se establecen dos subconjuntos. Los cuales son no final y final:
paso del autómata
finito determinista
Fase 5
Formales
Autómatas
No finales Finales
{q0,q1,q2,q5} {q3,q4}
Paso 2: Se debe aplicar la transmisión a los dos subconjuntos:
Pendiente
Ejercicio 4: Realizar el autómata a Pila de L={ (abb+ccn)*}
Realizar el autómata a Pila de L={ Pendiente

(abb+ccn)*}
Pendiente
Pendiente
Ejercicio 5: Realizar una máquina de Turing de autoría propia y realice:

a. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en
la cinta como en la secuencia de entrada.
Ejercicio 5 b. Identifiqué una cadena que no sea válida y justifíquela por qué.
c. Ejecute el Run Test a una cadena aceptada que tenga al menos cinco símbolos.
d. Identifiqué en que momento la máquina se detiene.
Pendiente
Máquina de Turing
Recorra la
máquina con al Cadena: Pendiente
menos una cadena
Fase 5
Formales
Autómatas
válida explicando
lo sucedido tanto
en la cinta como en
la secuencia de
entrada.
Identifique una
cadena que no sea Pendiente
válida y justifíquela
porque
Ejecute el
RunTest a una
cadena aceptada Pendiente
que tenga al
menos cinco
símbolos.
Identifique en que
momento la
máquina se Pendiente
detiene
Fase 5
Formales
Autómatas
BIBLIOGRAFIA
Referencias usadas para la información del cuadro. Normas APA
Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,

Gramáticas Y Autómatas Para Informáticos. (pp. 119 - 127). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppid=pp
_Cover
Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales.

(pp. 1 - 124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10
Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). (pp. 249 - 276).

Teoría de autómatas y lenguajes formales. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6
CK-12, (2012). Case History: How Math, Science, and Engineering Led to the
First Pocket Radio. [OVI]. Recuperado de
http://www.ck12.org/book/Engineering%3A-An-Introduction-for-High-
School/section/5.2/
Kelley, D. (1995). Teoría de Autómatas y Lenguajes Formales, Prentice Hall

Hispanoamericana.
Brookshear, G. (1993). Teoría de la Computación, Addison Wesley
Iberoamericana.
Hopcroft, E., Motwani, R., Ullman, J. (2002). Introducción a la teoría de

autómatas, lenguajes y computación. Addison Wesley.

Luis - E - Gutierrez - Fase 5

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Luis - E - Gutierrez - Fase 5

Cargado por

Copyright:

Formatos disponibles

Fase 5

Fase 5 Desarrollar aplicaciones con Autómatas

Autómatas Y Lenguajes Formales

Luis Ehrman Gutierrez Ch.

Universidad Nacional Abierta Y A Distancia

Fecha de elaboración 01 12 2019

Autómata Finito Determinista

- Explicar las características del tipo de autómata

Procedimiento de Procedimiento paso a paso de la conversión del autómata a expresión regular.

Lo haremos por eliminación iniciando con q1

Lenguaje regular ER= ( 01 )∗(11∗0+ 00)

Autómata Finito Determinista

- Explicar las características del tipo de autómata

Procedimiento paso a paso de la conversión del autómata a expresión regular.

Lo haremos por eliminación iniciando con q2

Lenguaje regular ER= ( 01 )∗( 11∗0+00 )

Autómata Finito No Determinista

- Explicar las características del tipo de autómata

Procedimiento paso a paso de la conversión del autómata a expresión regular.

Se tienen las ecuaciones:

Lenguaje regular ER=( Pendiente)

Autómata Finito Determinista

- Explicar las características del tipo de autómata

Procedimiento de Procedimiento paso a paso de la conversión del autómata a expresión regular.

Se tienen las ecuaciones:

Lenguaje regular ER=( Pendiente)

Autómata Finito Determinista

- Explicar las características del tipo de autómata

Procedimiento paso a paso de la conversión del autómata a expresión regular.

Lenguaje regular ER=( Pendiente)

Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD según corresponda

{0}={0}=A Mover(A,a) = {1} Mover(A,b) = {5}

{1}={1}=B Mover(B,a) = {} Mover(B,b) = {}

{5}={5,4}=C Mover(C,a) = {} Mover(C,b) = {5,1}

{2}={2,3}=D Mover(D,a) = {5,2} Mover(D,b) = {2,4}

{5,2}={5,4,2,3}=E Mover(E,a) = {5,2} Mover(E,b) = {5,1,2,4}

{5,1,2,4}={5}=F Mover(F,a) = {} Mover(F,b) = {5,1}

Por el proceso realizado podemos darnos cuenta que es un

Ejercicio 3: Realice la minimización paso a paso del autómata finito determinista

Paso 2: Se debe aplicar la transmisión a los dos subconjuntos:

Ejercicio 4: Realizar el autómata a Pila de L={ (abb+ccn)*}

Realizar el autómata a Pila de L={ Pendiente

Ejercicio 5: Realizar una máquina de Turing de autoría propia y realice:

Referencias usadas para la información del cuadro. Normas APA

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales.

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). (pp. 249 - 276).

Kelley, D. (1995). Teoría de Autómatas y Lenguajes Formales, Prentice Hall

Hopcroft, E., Motwani, R., Ullman, J. (2002). Introducción a la teoría de

También podría gustarte