ACT 6 TRABAJO COLABORATIVO 1

AUTOMATAS Y LENGUAJES FORMALES – CODIGO

Realizado por

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

PROGRAMA DE INGENIERÍA DE SISTEMAS
ABRIL 2014
EJERCICIO A DESARROLLAR:

PARTE 1: Dada la siguiente tabla de transición:

∂ X Y Z
q0 q1 q2 q1
q1 q1 q3 q2
q2 q3 q2 Ø
# q3 Ø Ø Ø

1. Exprese el autómata en notación matemática. Identifique que tipo de autómata es

(AFD o AFND) y justifique su respuesta. (No se trata de dar el concepto de
determinismo).

Es un AFND (autómata finito no determinista) por que las funciones ∂(q3,x)= Ø ∂(q3,y)= Ø
∂(q3,y)= Ø y ∂(q2,y)= Ø están vacías lo que indica que el siguiente estado no
se ha definido.

M= (K, ∑, q0, ∂, F) donde ∑=(x, y, z)

q0= estado inicial
q3= estado final (F)
Donde la función de transición ∂: (q0, q1, q2, q3) X (x, y, z) (q0, q1, q2, q3)
Dada por:

∂(q0,x)= q1 ∂(q0,y)= q2 ∂(q0,y)= q1

∂(q1,x)= q1 ∂(q1,y)= q3 ∂(q1,y)= q2
∂(q2,x)= q3 ∂(q2,y)= q2 ∂(q2,y)= Ø
∂(q3,x)= Ø ∂(q3,y)= Ø ∂(q3,y)= Ø

2. Identifique los elementos (tupla que es). Debe explicar y describir cada elemento
y la función y significado en el autómata. Conceptos y definiciones adicionales.

Compuesto por la tupla: M= (K, ∑, q0, ∂, F)

M= Autómata finito no determinista
K=conjunto de estados
∑= alfabeto compuesto por (x, y, z)
∂ = Función de transición
q0= estado inicial
q3= estado Final (F)

3. Identifique el lenguaje que genera.

El lenguaje que se reconoce es el lenguaje de las cadenas que empieza por x, y, z y termine
en x, y.

L= ((X+Z)X*Y+YY*X)(ZY*X)*
4. Muestre en el simulador (gráficamente) como recorre una cadena válida.
Explique cada secuencia.
Inicia en Q0 con una X y Z pasa al estado Q1 con una X sigue en estado Q1 y con una Y llega
al estado final o de aceptación, Q3.

5. Muestre el diagrama de Moore generado en JFLAp y en VAS y comente que

similitudes o diferencias encuentra al realizarlo en los dos simuladores. (Herramientas
que ofrezcan uno u otro).

Diagrama de Moore en VAS

Son similares los dos diagramas.

La diferencia es que el VAS las líneas o funciones son mas curvas, tiene una mejor
presentación.
VAS es mas sencillo. Tiene menos herramientas pero el procedimiento es más intuitivo.
 CONCLUSIONES
 El curso es muy interesante requiere de mucha atención y dedicación

BIBLIOGRAFIA

MODULO

AUTÓMATAS Y LENGUAJES FORMALES

Edgar Alberto Quiroga Rojas Actualización: Carlos Alberto Amaya Tarazona

Gramáticas formales http://gramaticasformales.wordpress.com/

Grammatical regular http://es.wikipedia.org/wiki/Gram%C3%A1tica_regular

Gramáticas libres de context http://luzem.dyndns.org/2010/05/05/practica-8-gramaticas-libres-de-

contexto-en-jflap/

Gramática libre de contexto

a pila http://luzem.dyndns.org/tag/gramatica-libre-de-contexto-a-automata-
de-pila/

Lenguajes libres de Contexto http://teodelacomp.blogspot.com/2011/03/automatas-pushdown-

presentan-ing.html

Minimización de un autómata http://www.youtube.com/watch?v=jd4cQ9yJj2c

Autómata de pila http://www2.dis.ulpgc.es/~mluengo/automatas/teoria/tema4.pdf

Gramáticas y autómatas

De pila http://informatica.utem.cl/~rcorbin/files/talf/APUNTES_Y_GUIAS/Capitulo3.pdf