Automatas Fase 6

AUTOMATAS Y LENGUAJES FORMALES

DIANA CAROLINA RUIZ CARDONA CÓDIGO: 1116131699 GRUPO: 301405A_747

Presentado a: JAIME JOSE VALES Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA PEREIRA RISARALDA DICIEMBRE 2018

EJERCICIOS DE LA FASE 6 APORTE INDIVIDUAL 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:

1.

2.

3.

4.

EJERCICIO No. 1

Paso a paso

1. Descartamos q1 y nos da:

2. Luego descartamos q2, nos queda

Expresión regular

 = (((0 + (0 + 01 ∗ 0)) + 1)

Tipo de autómata

Finito no determinista

EJERCICIO No. 2

Paso a paso

1. Descartamos q2

2. Descartamos q0

Expresión regular

 = (00(0 + ((00 ∗ 1))(10))) ∗

Tipo de autómata

Finito no determinista

EJERCICIO No. 3

Paso a

1. Descartamos q0

Expresión regular

ER =  ( 0 + 1)∗ 0[0∗ + (0(0 + 1)∗ 0)∗ ]

Tipo de autómata

Autómata Finito no Determinista

EJERCICIO No. 4

Paso a paso

Se realiza la transicion del estado q1a q3

1. Descartamos los estados q1 y q2

2.

Expresión regular Tipo de autómata

Descartamos q0

 = ((1 ∗)(010 + 10)) ∗ Autómata finito no determinista

Teniendo en cuenta el siguiente autómata realizar los puntos siguientes:

Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD según corresponda Ejercicio 3: Realice la minimización paso a paso del autómata finito determinista Ejercicio 4: Realizar el autómata a Pila de L = {(a+bn)*} 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. b. Identifique una cadena que no sea válida y justifíquela porque c. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos d. Identifique en que momento la máquina se detiene.

BIBLIOGRAFIA





González, A. [Ángela]. (2018, junio 1).  Lenguajes Independientes del Contexto. [Archivo web]. Recuperado el 26 de octubre de 2018 de: http://hdl.handle.net/10596/18317 https://www.cs.buap.mx/~mtovar/doc/LFAA/Unidad4AP.pdf