UNIDAD 1: FASE 2 - CONOCER FORMALISMOS USADOS PARA DEFINIR

LENGUAJES FORMALES

PRESENTADO AL TUTOR:
VERMEN RAINER AYALA

ENTREGADO POR EL ESTUDIANTE:

LISETTE DAYANA PALACIOS
CÓDIGO: 1087186452

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
FEBRERO 202
 EJERCICIOS DE LA FASE 1
ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio

asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterizació Es un Autómata Finito Determinista definido

n del autómata por

A=(Q,Σ,δ,q0,F)

siendo
 Q el conjunto finito de estados, que
denotaremos por q0,q1,q2,q3
 Σ el alfabeto, es decir, un conjunto finito de
símbolos que formarán palabras o cadenas.
a,b,c
 δ es la función de transición. Determina el
comportamiento del autómata.
 δ(q0,a)=q1
δ(q0,b)=q2
δ(q0,c)=q0

δ(q1,b)=q3
δ(q1,c)=q1

δ(q2,a)=q3

 q0 es el estado inicial, el estado en qué el

autómata se encuentra inicialmente.

 F es el subconjunto de Q (por tanto, finito)

que contiene los estados de aceptación (o
finales), que son los estados que provocan la
parada del autómata {q3}
Procedimiento Para obtener la expresión regular utilizaremos la
de conversión eliminación de estados
de Autómata
Finito a Paso 1
Expresión Empezamos eliminando el estado q1, donde
Regular paso a tendremos “ac*b” mas la transición “c” de q0 a q3
paso

Paso 2
 Eliminamos ahora el estado q2, añadiendo la
transición “ba” de q0 a q3

Paso 3

Eliminamos el estado q3, así nos queda

Quedando la expresion regular como

c +ac∗b+ba

Autómata Final
convertido

 Lenguaje L = {c,ba,ab,acb,accb,acccb,accc…b}
regular
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas
Finitos No deterministas (AFD a AFND) y viceversa
1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización
del autómata Es un Autómata Finito No Determinista (AFND), porque con
una misma entrada podemos tener varias transiciones o
podemos ir a varios estados, además de tener transiciones
lambda

Procedimiento de
Procedemos convertir al AFND-λ a un AFND, el primer paso es
conversión paso a
paso calcular las clausuras.

{q0} {q0} U {∅ }

{q1} { q1} U {∅ }

{q2} {q2} U {q 1}

{q3} {q3} U {∅ }
Tabla de transiciones:

Q λ a b c

0 ∅ {1} {2 } {0}

1 ∅ {3 } {2} ∅

2 {1 } {3 } ∅ ∅

3 ∅ ∅ {1} ∅

Ahora construimos los nuevos estados

Nuevo Q a b c
Estado

->A {0} {1} {2 , 1} {0}

B {1} {3} {2,1 } ∅

C {2,1} {3} {2,1} ∅

D* {3} ∅ {1} ∅

Donde A seria el estado inicial, y como estado final tenemos a D

Autómata Final
convertido

 Practicar y 1- Cadenas Aceptadas y Rechazadas

verificar lo Autómata Original
aprendido

Autómata Convertido
2- Convertir a AFD con JFLAP
 ACTIVIDAD 3

El autómata se define mediante y una quíntupla

A=( Q , Σ , δ , S , F )
En donde cada elemento significa, los estados del AFND son
Q={q 0 , q 1 , q 3 , q 4 }
El alfabeto reconocido por el autómata es
Σ={a , b }
Los estados iniciales del autómata son

S= { q 0 }
Los estados finales del autómata son
F={q 1, q 4 }

Definimos la función de transición

δ()
(q0,a) q4
(q0,b) q0,q3
(q1,a) q1
(q1,b) q4
(q3,a) q3
(q3,b) q1
(q4,a) q0
(q4,b) q4

La tabla de transición del autómata quedaría de la siguiente manera:

a b
->q0 q4 q0.q3
q1* q1 q4
q3 q3 q1
 q4* q0 q4

Se evidencia claramente de lo anterior que con una misma entrada es posible ir a dos estados
de manera simultánea por lo que es un AFND.

Ahora mediante el uso del simulador JFLAP para comprobar paso por paso un cadena

C = aaaabba

Empieza el recorrido de la cadena:

 Se procesa el carácter “a”

Se pasa al estado q4 y se procesa el siguiente carácter “a”

 Pasamos al estado q0 y procesamos el siguiente caracter “a”

Se pasa nuevamente al estado q4 y se procesa el siguiente caracter “a”

 Se pasa al estado q0 y se espera procesar el siguiente caracer “b”

Se pasa de manera simultanea al estado q0 y q3, y se continuamos procesando el caracter

“b”
Se pasa a los estados q0, q3 y q1 de manera simultánea y se procede a procesar el último
carácter “a”

Se pasa a los estado q4 y q1 de manera simultáneamente y al ser q1 un estado de aceptación

se acepta la cadena.
DIFERENCIAS ENTRE JFLAP Y VAS

Al momento de crear un nuevo diagrama VAS nos da la posibilidad de darle un

nombre al estado creado, en cambio en JFLAP genera los nombres de los estados de
manera secuencial (q1, q2, q4, q4,…) aunque posteriormente permite también poner
el nombre deseado.

Al momento de crear un ciclo en un estado en VAS es posible cambiar el tamaño y la posición

del ciclo muy fácilmente en cambio en FLAP es más estricto y rígido en este aspecto.
Al momento de abrir JFLAP nos permite la elección del tipo de autómata a crear además de
que también permite definir gramáticas, expresiones regulares, etc.

En VAS únicamente es posible únicamente crear AF y Maquinas de Turing

 SIMILITUDES

En ambos programas es posible la consturccion de un diagrama de Moore para AFD y

AFND

En ambos programas es posible realizar pruebas de cadenas de entrada

 PREGUNTAS VERIFICACION OVA

1. Dentro de las aplicaciones de autómatas se tiene:

 
A. Alimentación
B. Medicina
C. Fabricación de calzado
D. Educación
 
2. Dentro de la clasificación jerárquica de los autómatas se encuentran
los intermedios en primer nivel, a su vez dentro de ellos están:

A. Memoria Linealmente limitada

B. Autómatas Finitos
C. Máquinas de Turing
D. Códigos convolucionales
 
3. Cuando se realiza la Conversión de AFN a AFD con transiciones vacías
el resultado de C = {1, 3, 4} U {0, 1, 3} con transición X es:

A = {1,2,3,4} U {0,1,3}
C = {1,3,4} U {0,1,3}
B = {1,2} U {0,1,3}
D = {1,2} U {0,1,3}
 
4. Teniendo en cuenta la siguiente imagen cual es la respuesta:

 
A.

B.

C.

D.