ASIGNATURA

AUTOMATAS Y LENGUAJES FORMALES

FASE 3

PRESENTA

DIANA CAROLINA RUIZ

DOCENTE

ALKIGNER CUESTA

UNIVERSIDAD ABIERTA Y A DISTANCIA

PEREIRA

2019
Actividades a desarrollar

Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a

paso, no se tendrá en cuenta las respuestas o simulaciones en jFlap o
VAS.

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.

1. 4.
 5

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 = {(abb+ccn)*}
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 justifique el porqué.
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.
EJERCICIO 1.4

Como el estado q0 puede pasar a 2 o mas estados se determina que es un AFND con 5-tupla

Formalmente, un autómata finito es una 5-tupla <Q, Σ, q0, δ, F> donde:

Q es un conjunto finito de estados;

q1,q2,q3

Σ es un alfabeto finito de símbolos terminales;

0,1

q0 es el estado inicial en Q;

δ es la relación de transiciones de la forma <qi,x,qj> con qi y qj como estados de Q y x, símbolo de

Σ ó puede ser también la cadena vacía;

F es el conjunto de estados finales o de aceptación y (evidentemente) subconjunto de Q.

q1,q3

Pasamos el automata a determinista

0 1
Q1 Q3=Q1,Q2 Q0
Q2 Q2 Q1
Q1 - -
Q3 Q2 Q1
Minimizamos el autómata

Aceptadores

1 0
Q3 X X
Q2 X X
Q1 - -

Agrupamos los grupos equivalentes

Q3,Q2= Q2

Seguimos con dos estados aceptadores por lo que hallaremos la expresión regular de cada uno y
después la sumamos.

Q2= 1*00*

Q1=1*00*1

ER: 1*00*+1*00*1
Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD
según corresponda

a b
Q0 Q1 Q5
Q1 - -
Q4 Q1
Q5 U Q4 - Q1 U Q4 U Q5
Q1 U Q4 U Q5 Q1 U Q4 U Q5