Momento 1 Trabajo Colaborativo 1

301405 Autmatas y Lenguajes Formales

Grupo N 12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTMATAS Y LENGUAJES FORMALES

Momento 2 Trabajo Colaborativo 2

Presentado por:
OSCAR JOS RAMREZ CARDONA Cd. 79810115

Tutor
CARLOS ALBERTO AMAYA TARAZONA

Septiembre de 2014

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales
Grupo N 12

Introduccin
El siguiente trabajo corresponde al desarrollo del trabajo colaborativo del curso de Autmatas
y lenguajes formales, en el aplicaremos los contenidos temticos que hemos adquirido del
estudio de la unidad dos.
Los lenguajes independientes del contexto que tambin se conocen con el nombre de
gramticas de contexto libre son un mtodo recursivo sencillo de especificacin de reglas
gramaticales con las que se pueden generar cadenas de un lenguaje.
Es factible producir de esta manera todos los lenguajes regulares, adems de que existen
ejemplos sencillos de gramticas de contexto libre que generan lenguajes no regulares. Las
reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos
mayores que los realizados con lenguajes regulares, en gran medida sirven para especificar la
sintaxis de lenguajes de alto nivel y otros lenguajes formales.

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales
Grupo N 12

Objetivos
OBJETIVO GENERAL:
Reconocer las distintas gramticas ya que existen diferentes formas que generan un
mismo lenguaje. El hecho de no restringir la forma de las reglas se tiene inters en los
casos en que se desea disear una gramtica para un lenguaje dado.
OBJETIVOS ESPECFICOS:
Analizar la estructura de las gramticas independientes del contexto.
Estudiar el concepto de los autmatas de pila, su funcionamiento y los lenguajes
utilizados. Distinguir los lenguajes independientes del contexto existentes y sus
propiedades, as como los algoritmos de decisin.
Generalizar los conceptos de autmatas finitos y gramticos regulares.
Reconocer el potencial de procesamiento del lenguaje del autmata con los Autmatas
de pila

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales
Grupo N 12

PARTE 1
Calcular el autmata mnimo correspondiente al siguiente autmata finito.

1. Enuncie el autmata en notacin matemtica e identifique que tipo de autmata es.

= (, , , 0 , ), = {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }, = {0, 1}
0 =
= {5 } =
Donde la funcin de transicin est dada por:
= {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 } {, } {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }0 5
(0 , 0) = 2
(0 , 1) = 1
(1 , 0) = 4
(1 , 1) = 5
(2 , 0) = 3
(2 , 1) = 4

(3 , 0) = 2
(3 , 1) = 7
(4 , 0) = 7
(4 , 1) = 6
(5 , 0) = 6
(5 , 1) = 1

(6 , 0) = 3
(6 , 1) = 4
(7 , 0) = 4
(7 , 1) = 5

2. Identifique los componentes del autmata (que tipo de tupla es)

Conjunto de estados = {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }
Alfabeto = {0, 1}
: Q x Q Funcin de transicin para un AFD
4

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales
Grupo N 12

0 =
= {3 , 5 } =
3. Identifique la tabla de transicin correspondiente
0

q0

q2

q1

q1

q4

q5

q2

q3

q4

# q3

q2

q7

q4

q7

q6

# q5

q6

q1

q6

q3

q4

q7

q4

q5

Cada fila la corresponde a un estado q Q

El estado inicial se precede del smbolo
Cada estado final se precede del smbolo #
Cada columna corresponde a un smbolo de entrada x
4. Identifique el lenguaje que reconoce (no en notacin de ER) y enuncie cinco posibles
cadenas vlidas que terminen en el estado halt y cinco cadenas no vlidas.
Expresiones Vlidas
011101

0101

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales
Grupo N 12

101000

00011100011010

10010110

Expresiones NO Vlidas
0111

1001100

1011

01001

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales
Grupo N 12

010011

Verificacin en JFLAP

5. Encuentre la expresin regular vlida. (se genera de forma manual, asociando cada
operador y sentencia al diagrama de moore de forma explicativa). No se genera con el
JFLAP.
Se asocian los posibles caminos desde el estado inicial a cada uno de los estados finales as:
Estado inicial: q0 y los estados finales son:{3 , 5 }
Camino 1: 0 , 2 , 4 , 6 , 3
Camino 2: 0 , 2 , 3
Camino 3: 0 , 2 , 4 , 7 , 5
Camino 4: 0 , 1 , 4 , 6 , 3
Camino 5: 0 , 1 , 4 , 7 , 5
Camino 6: 0 , 1 , 5 , 6 , 3
Camino 7: 0 , 2 , 3 , 7 , 5
Camino 8: 0 , 1 , 5
Entonces la expresin regular del autmata sera la siguiente:
(01(1+1)0+0(0+0)+01(0+0)1+10(1+1)0+10(0+0)1+1(1+1)00+0(0+0)11+1(1+1))
7

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales
Grupo N 12

6. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus
componentes y como se escriben matemticamente). Justifquela si la convierte a la
Izquierda o a la derecha. Plsmela en el simulador y recrela. (Debe quedar documentado
en el texto el paso a paso que realizan en el simulador)
Definimos o caracterizamos una gramtica regular como: Un cudruplo (V, , R, S) en
donde:
V = Es el alfabeto de variables (, , , , , , , )
= Es el alfabeto de constantes {0,1}
R = Es el conjunto de reglas, es un subconjunto finito de ( )
S= Es el smbolo inicial y es un elemento de V
Esta gramtica, tiene las producciones por la derecha, es decir que es:
Lineal por la derecha, Cuando todas las producciones tienen la forma A aB o bien A
a
Para nuestro caso:
A 1E
E 1A
= (, , R, S)
= [{, , , , , , , }, {0,1}, { 1, 1, 1, 0, 1, 1,
1, 1, 0, 0, , 0, 0, 0, 0,
0, 1, , 0}]

Momento 2 Trabajo Colaborativo 2

301405 Autmatas y Lenguajes Formales
Grupo N 12

Gramtica ordenada

7. Realice el rbol de Derivacin de esa gramtica

Cadena valida 1100