Manual de Practicas

LICENCIATURA EN SISTEMAS COMPUTACIONALES
MANUAL DE PRCTICAS
LENGUAJES Y AUTOMATAS
6 Semestre
UNIVERSIDAD AUTNOMA
DEL
ESTADO DE HIDALGO
INSTITUTO DE CIENCIAS BSICAS E

INGENIERA
LICENCIATURA EN SISTEMAS
COMPUTACIONALES
MAMANUAL DE PRCTICAS
Lenguajes y Autmatas
6to. Semestre
Julio Diciembre 2009

MANUAL DE PRCTICAS
6 Semestre
07 julio 2009
FECHA DE ELABORACIN :
ELABORARON :
NOMBRE
FIRMA
M. EN C. MATILDE HERNNDEZ
SALAS
Vo. Bo. PRESIDENTE DE LA ACADEMIA DE SISTEMAS Y SOFTWARE DE BASE

Lic. Maritza Cruz Bautista
Vo. Bo. SECRETARIO DE LA ACADEMIA DE SISTEMAS Y SOFTWARE DE BASE

Ing. Alejandro Dominguez Narvaez
Vo.Bo. COORDINADOR DE LA LICENCIATURA EN SISTEMAS

COMPUTACIONALES
M. en C. Yira Moz Snchez
FECHA DE PRXIMA REVISIN:

MANUAL DE PRCTICAS
6 Semestre
NDICE
PRACTICA No. 1: Representacin de Conjuntos y relaciones
Jueves
PRACTICA No. 2:Representacin y manipulacin de un Autmata
Finito Determinstico (dfa).
PRACTICA No. 3: Representacin y manipulacin de un Autmata
Finito No Determinstico (NFA).
PRACTICA No. 4: Equivalencia entre un NFAs y DFAs.
15 de octubre
PRACTICA No. 5: Representacin y Uso de una Gramtica Regular
( Uso de FLEX y Bison)
PRACTICA No. 6: Representacin y Manipulacin de un Autmata de
Pila
PRACTICA No. 7: Maquina de Turing.
Pg
4
7
10
13
16
19
22

MANUAL DE PRCTICAS
NOMBRE DE LA PRCTICA:
6 Semestre
: REPRESENTACIN DE CONJUNTOS Y
RELACIONES
2
No. DE SESIONES:
No. DE PRCTICA:1
2
No. DE INTEGRANTES MXIMO POR EQUIPO:
OBJETIVO:
El alumno experimentar con las propiedades de los conjuntos, sus operaciones y

las relaciones que pueden formarse con los mismos.
MARCO TERICO:
Un conjunto es una agrupacin, clase o coleccin de objetos

denominados elementos del conjunto (aunque cualquier definicin dada
esconde implcitamente paradojas lgicas o contradicciones).
Un conjunto se puede determinar de dos maneras: por extensin y por comprensin.
Determinacin de un conjunto por extensin
Un conjunto est determinado por extensin cuando se escriben uno a uno todos sus
elementos.
Ejm. - El conjunto de los nmeros naturales menores que 9.
Determinacin de un conjunto por comprensin
Un conjunto est determinado por comprensin cuando solamente se menciona una

caracterstica comn de todos los elementos.
Ejm. - El conjunto formado por las letras vocales del abecedario.
Dos conjuntos son iguales si, y slo si, contienen los mismos objetos.
4

MANUAL DE PRCTICAS
6 Semestre
EQUIPO Y SOFTWARE A UTILIZAR:
- COMPUTADORA PERSONAL Y PERIFERICOS

- LENGUAJE DE PROGRAMACION C/C++/BORLAND C O LENGUAJE VISUAL
- SISTEMA OPERATIVO WINDOWS
PROCEDIMIENTO PARA EL DESARROLLO DE LA PRCTICA:
Construya un programa (en el lenguaje de programacin que desee), que le permita

al usuario introducir va teclado, los elementos de dos conjuntos. Una vez realizado
esto, el programa le permitir al usuario vizualizar la relacin entre estos dos
conjuntos (subconjunto, subconjunto propio, igualdad). Tambien le permitira al
ususario escoger entre estos dos conjuntos para visualizar el conjunto potencia
formado por el conjunto elegido.
CONCLUSIONES

MANUAL DE PRCTICAS
BIBLIOGRAFA:
Bsica :
DISCRETAS
RICHARD JOHNSONBAUGH
MATEMATICAS
EDITORIAL PRENTICE HALL
JOHN E. HOPCROFT; JEFFREY D. ULLMAN
INTRODUCCION A LA TEORIA DE AUTOMATAS, LENGUAJES Y COMPUTACION
EDITORIAL CECSA
MEXICO. 1996
J. GLENN BROOKSHEAR
TEORIA DE LA COMPUTACION. LENGUAJES FORMALES, AUTOMATAS Y COMPLEJIDAD
EDITORIAL ADDISON-WESLEY IBEROAMERICANA
U.S.A. 1993
Complementaria :
GARCIA, P.; PEREZ, T.; RUIZ, J.; SEGARRA, E.; SEMPERE, J. M.; VAZQUEZ DE PARGA, M.
TEORIA DE AUTOMATAS Y LENGUAJES FORMALES
EDITORIAL ALFAOMEGA
MEXICO, 2001
6 Semestre

MANUAL DE PRCTICAS
6 Semestre
NOMBRE DE LA PRCTICA: REPRESENTACIN Y MANIPULACIN DE UN

AUTOMATA FINITO DETERMINISTICO (DFA).
2
No. DE SESIONES:
No. DE PRCTICA:2
2
OBJETIVO:
El alumno experimentar con el funcionamiento de un DFA.
MARCO TERICO:
Un autmata finito determinstico se caracteriza que por cada estado y smbolo de

entrada existe una sola transicin. Esto determina que los resultados que ofrece un
DFA al evaluar una cadena de smbolos puedan ser cadenas regulares (terminaron
la ejecucin del autmata en un estado final o terminal) o no regulares (terminaron la
ejecucin del autmata en un estado que no es final o terminal)

MANUAL DE PRCTICAS
6 Semestre

Construya un programa (en el lenguaje de programacin que desee), que represente

el comportamiento de un DFA propuesto por el alumno, el programa deber mostrar
la definicin M = ( Q , , , q0 , F ) de dicho autmata.
El programa permitir introducir una cadena de smbolos (mximo 10 smbolos) por
parte del usuario. A continuacin, el programa deber mostrar por cada uno de los
prefijos de la cadena, las funciones de transicin respectivas. Finalmente, el
programa dar la conclusin de haber evaluado las funciones de transicin,
determinando si es una cadena regular o no regular.
CONCLUSIONES

MANUAL DE PRCTICAS
BIBLIOGRAFA:
Bsica :
EDITORIAL CECSA
MEXICO. 1996
J. GLENN BROOKSHEAR
U.S.A. 1993
Complementaria :
EDITORIAL ALFAOMEGA
MEXICO, 2001
6 Semestre

MANUAL DE PRCTICAS
6 Semestre
NOMBRE DE LA PRCTICA: REPRESENTACIN Y MANIPULACIN DE UN

AUTOMATA FINITO NO DETERMINISTICO (NFA).
2
No. DE SESIONES:
No. DE PRCTICA:3
2
OBJETIVO:
El alumno experimentar con el funcionamiento de un NFA especfico.
MARCO TERICO:
El NFA se caracteriza que por cada estado y smbolo de transicin, existen ninguna,
una o ms transiciones. Los tres casos posibles, que pueden surgir al evaluar una
cadena en un NFA, a saber, son: cadenas aceptadas (hacen terminar al autmata en
un estado final), cadenas no aceptadas (hacen terminar al autmata en un estado
que no es final) y cadenas no validas (los autmatas transicionan a estados vacos
).
10

MANUAL DE PRCTICAS
6 Semestre

Construya un programa (en el lenguaje de programacin que desee), que represente

el comportamiento del siguiente NFA:
0
q3
1
1
q0
q1
q4
q2
0
El programa permitir introducir una cadena de smbolos (mximo 10 smbolos) por
parte del usuario. A continuacin, el programa deber mostrar la tabla de
transiciones correspondiente al AFN dado y por cada uno de los prefijos de la
cadena, las funciones de transicin respectivas. Finalmente, el programa dar la
conclusin de haber evaluado las funciones de transicin, determinando si es una
cadena aceptada, no aceptada o no valida.
CONCLUSIONES
11

MANUAL DE PRCTICAS
BIBLIOGRAFA:
Bsica :
EDITORIAL CECSA
MEXICO. 1996
J. GLENN BROOKSHEAR
U.S.A. 1993
Complementaria :
EDITORIAL ALFAOMEGA
MEXICO, 2001
12
6 Semestre

MANUAL DE PRCTICAS
6 Semestre
NOMBRE DE LA PRCTICA: EQUIVALENCIA ENTRE UN NFAs Y DFAs.
2
No. DE SESIONES:
No. DE PRCTICA:4
2
OBJETIVO:
El alumno construir y comprobara la equivalencia entre los conceptos de no

determinismo y determinismo en los autmatas finitos.
MARCO TERICO:
Todo DFA es el caso particular de un NFA, el cual representa la generalidad de una

maquina finita especifica. De forma inversa, es posible construir un autmata
determinstico a partir de su versin no determinstica. Esto lo especifica el teorema
siguiente:
Sea L (lenguaje formal) un conjunto aceptado por un NFA. Entonces existe un DFA
que acepta a L
13

MANUAL DE PRCTICAS
6 Semestre

A partir del NFA de la practica no. 3, construya el programa que represente el DFA
equivalente (definicin de conjuntos y tabla de transiciones). El programa permitir
introducir una cadena de smbolos (mximo 10 smbolos) por parte del usuario. A
continuacin, el programa deber mostrar por cada uno de los prefijos de la cadena,
las funciones de transicin respectivas. Finalmente, el programa dar la conclusin
de haber evaluado las funciones de transicin, determinando si es una cadena
regular o no regular.
Pruebe que sucede con las cadenas aceptadas, no aceptadas y no validas de un
NFA, en un DFA equivalente.
CONCLUSIONES
14

MANUAL DE PRCTICAS
BIBLIOGRAFA:
Bsica :
EDITORIAL CECSA
MEXICO. 1996
J. GLENN BROOKSHEAR
U.S.A. 1993
Complementaria :
EDITORIAL ALFAOMEGA
MEXICO, 2001
15
6 Semestre

MANUAL DE PRCTICAS
NOMBRE DE LA PRCTICA:
6 Semestre
: REPRESENTACIN Y MANIPULACIN DE
UNA GRAMTICA REGULAR
2
No. DE SESIONES:
No. DE PRCTICA:5
2
OBJETIVO:
El alumno experimentar con las cadenas generadas por una gramtica regular y
comprobar que no cualquier cadena pertenece a la gramtica especificada.
MARCO TERICO:
Una gramtica formal es el conjunto de reglas o especificaciones que rigen la

construccin de un lenguaje formal. Segn la Jerarqua de Chomsky, existen 4
clasificaciones de gramticas formales: regulares, libres del contexto, sensibles al
contexto y libres o por estructuracin de frases. Son las primeras las ms sencillas
de generar y comprender en su estructura. A este tipo de gramtica tambin se le
conoce como expresin regular, y estas son las que se asocian con los autmatas
finitos.
16

MANUAL DE PRCTICAS
6 Semestre

Construya un programa (en el lenguaje de programacin que desee), que le permita

al usuario introducir va teclado, los parmetros de una gramtica regular G = ( N , T
, P , * ) (Smbolos no terminales, smbolos terminales, producciones o
construcciones y smbolo inicial). Una vez realizado esto, el programa le permitir al
usuario que genere cadenas de longitud variable, para que pueda visualizar cuales
son las cadenas que permite generar la gramtica introducida. Tambin le permitir
probar algunas cadenas que el usuario introduzca, con la finalidad de saber si son o
no cadenas que puede generar la gramtica regular introducida.
CONCLUSIONES
17

MANUAL DE PRCTICAS
BIBLIOGRAFA:
Bsica :
EDITORIAL CECSA
MEXICO. 1996
J. GLENN BROOKSHEAR
U.S.A. 1993
Complementaria :
EDITORIAL ALFAOMEGA
MEXICO, 2001
18
6 Semestre

MANUAL DE PRCTICAS
6 Semestre
NOMBRE DE LA PRCTICA: : AUTOMATAS DE PILA
2
No. DE SESIONES:
No. DE PRCTICA:6
2
OBJETIVO:
Que el alumno comprenda y explique el funcionamiento de un autmata de pila

mediante la construccin de un programa computacional que lo represente.
MARCO TERICO:
Un Autmata de Pila se caracteriza por contar con un flujo de entrada y un

mecanismo de control que puede encontrarse en uno de entre un nmero finito de
estados. Uno de estos estados se designa como el inicial y por lo menos un estado
se designa como estado de aceptacin; la principal diferencia con los autmatas
finitos es que cuentan con una pila en donde pueden almacenar informacin para
recuperarla mas tarde. La pila funciona de manera que el ltimo carcter que se
almacena en ella es el primero en salir (LIFO, Last Input First Output); un aspecto
crucial de la pila es que slo se puede modificar su tope, que es el extremo por
donde entran o salen los caracteres. Los caracteres a la mitad de la pila no son
accesibles sin quitar antes los que estn encima de ellos. La pila tendr un alfabeto
propio, que puede o no coincidir con el alfabeto de la palabra de entrada. Al iniciar la
operacin de un AP, la pila se encuentra vaca. Durante la operacin del AP, la pila
puede ir recibiendo y almacenando caracteres, segn lo indiquen las transiciones
ejecutadas. Al final de su operacin, para aceptar una palabra, la pila debe estar
nuevamente vaca.
19

MANUAL DE PRCTICAS
6 Semestre

Construya un programa (en el lenguaje de programacin que desee), que

represente el funcionamiento de un autmata de pila generador del lenguaje:
L(P)= {anbmcmd2n | 0 < n,m < 10} que posea una pila y una cinta de entrada de
longitud n, donde se puedan leer los smbolos del alfabeto, por medio de una
cabeza de lectura que se mueva en base a la funcin de transicin del Autmata de
Pila desarrollado.
Ante el usuario el programa mostrara el AP diseado ya sea como una tabla de
transiciones o un diagrama de transiciones, y la pila que se ira modificando de
acuerdo a la funcin de transicin, el usuario solicitar una cadena de entrada. El
programa de acuerdo a la funcin de transicin leer los smbolos en la cinta de
entrada y se mover en base a los smbolos que se encuentran en la pila,
mostrando en pantalla las transiciones realizadas de un estado a otro y las
operaciones que realiza la pila.
El programa determinar si la cadena que est en la cinta de entrada es aceptada o
no.
CONCLUSIONES
20

MANUAL DE PRCTICAS
BIBLIOGRAFA:
Bsica :
EDITORIAL CECSA
MEXICO. 1996
J. GLENN BROOKSHEAR
U.S.A. 1993
Complementaria :
EDITORIAL ALFAOMEGA
MEXICO, 2001
21
6 Semestre

MANUAL DE PRCTICAS
6 Semestre
NOMBRE DE LA PRCTICA: : MAQUINA DE TURING.
2
No. DE SESIONES:
No. DE PRCTICA:7
2
OBJETIVO:
Que el alumno comprenda y explique el funcionamiento de una mquina de Turing

mediante la construccin de un programa computacional que la represente.
MARCO TERICO:
Alan Turing en 1937 propuso un modelo de mquina abstracta, como una extensin
de los autmatas finitos, que result ser de gran simplicidad y podero a la vez. La
mquina de Turing es particularmente importante porque es la ms poderosa de
todas las mquinas abstractas conocidas.
La mquina de Turing tiene, como los autmatas vistos, un control finito, una cabeza
lectora y una cinta donde pueden haber caracteres, y donde eventualmente viene la
palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se
extiende indefinidamente, llenndose los espacios con el carcter blanco. La cinta
no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el
extremo izquierdo.
En la mquina de Turing la cabeza lectora es de lectura y escritura, por lo que la
cinta puede ser modificado en curso de ejecucin. Adems, en la mquina de Turing
la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo que puede
pasar repetidas veces sobre un mismo segmento.
22

MANUAL DE PRCTICAS
La operacin de la MT consta de los siguientes pasos:

1. Lee un carcter en la cinta.
2. Efecta una transicin de estado.
3. Realiza una accin en la cinta.
Las acciones que puede ejecutar en la cinta la MT pueden ser:
1. Escribe un smbolo en la cinta.
2. Mueve la cabeza a la izquierda o a la derecha.
23
6 Semestre

MANUAL DE PRCTICAS
6 Semestre

Construya un programa (en el lenguaje de programacin que desee), que

represente el funcionamiento de una mquina de Turing, que posea una cinta de
entrada de longitud n, donde se puedan escribir o leer smbolos de un alfabeto, por
medio de una cabeza de lectura/escritura que se mueva en ambas direcciones de
la cinta segn la funcin de transicin correspondiente.
Ante el usuario el programa solicitar una cadena de entrada. El programa de
acuerdo a la funcin de transicin leer o escribir smbolos en la cinta de entrada
realizndose los movimientos respectivos. Mostrando en pantalla las transiciones
realizadas de un estado a otro. Finalmente, el programa determinar el resultado
obtenido.
CONCLUSIONES
24

MANUAL DE PRCTICAS
BIBLIOGRAFA:
Bsica :
EDITORIAL CECSA
MEXICO. 1996
J. GLENN BROOKSHEAR
U.S.A. 1993
Complementaria :
EDITORIAL ALFAOMEGA
MEXICO, 2001
25
6 Semestre

MANUAL DE PRCTICAS
26
6 Semestre

Manual de Practicas

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Manual de Practicas

Enviado por

Direitos autorais:

Formatos disponíveis

LICENCIATURA EN SISTEMAS COMPUTACIONALES

INSTITUTO DE CIENCIAS BSICAS E

Julio Diciembre 2009

LICENCIATURA EN SISTEMAS COMPUTACIONALES

Vo. Bo. PRESIDENTE DE LA ACADEMIA DE SISTEMAS Y SOFTWARE DE BASE

Vo. Bo. SECRETARIO DE LA ACADEMIA DE SISTEMAS Y SOFTWARE DE BASE

Vo.Bo. COORDINADOR DE LA LICENCIATURA EN SISTEMAS

FECHA DE PRXIMA REVISIN:

LICENCIATURA EN SISTEMAS COMPUTACIONALES

LICENCIATURA EN SISTEMAS COMPUTACIONALES

El alumno experimentar con las propiedades de los conjuntos, sus operaciones y

Un conjunto es una agrupacin, clase o coleccin de objetos

Determinacin de un conjunto por comprensin

Un conjunto est determinado por comprensin cuando solamente se menciona una

LICENCIATURA EN SISTEMAS COMPUTACIONALES

EQUIPO Y SOFTWARE A UTILIZAR:

- COMPUTADORA PERSONAL Y PERIFERICOS

PROCEDIMIENTO PARA EL DESARROLLO DE LA PRCTICA:

Construya un programa (en el lenguaje de programacin que desee), que le permita

LICENCIATURA EN SISTEMAS COMPUTACIONALES

LICENCIATURA EN SISTEMAS COMPUTACIONALES

NOMBRE DE LA PRCTICA: REPRESENTACIN Y MANIPULACIN DE UN

El alumno experimentar con el funcionamiento de un DFA.

Un autmata finito determinstico se caracteriza que por cada estado y smbolo de

LICENCIATURA EN SISTEMAS COMPUTACIONALES

EQUIPO Y SOFTWARE A UTILIZAR:

- COMPUTADORA PERSONAL Y PERIFERICOS

PROCEDIMIENTO PARA EL DESARROLLO DE LA PRCTICA:

Construya un programa (en el lenguaje de programacin que desee), que represente

LICENCIATURA EN SISTEMAS COMPUTACIONALES

LICENCIATURA EN SISTEMAS COMPUTACIONALES

NOMBRE DE LA PRCTICA: REPRESENTACIN Y MANIPULACIN DE UN

El alumno experimentar con el funcionamiento de un NFA especfico.

LICENCIATURA EN SISTEMAS COMPUTACIONALES

EQUIPO Y SOFTWARE A UTILIZAR:

- COMPUTADORA PERSONAL Y PERIFERICOS

PROCEDIMIENTO PARA EL DESARROLLO DE LA PRCTICA:

Construya un programa (en el lenguaje de programacin que desee), que represente

LICENCIATURA EN SISTEMAS COMPUTACIONALES

LICENCIATURA EN SISTEMAS COMPUTACIONALES

NOMBRE DE LA PRCTICA: EQUIVALENCIA ENTRE UN NFAs Y DFAs.

El alumno construir y comprobara la equivalencia entre los conceptos de no

Todo DFA es el caso particular de un NFA, el cual representa la generalidad de una

LICENCIATURA EN SISTEMAS COMPUTACIONALES

EQUIPO Y SOFTWARE A UTILIZAR:

- COMPUTADORA PERSONAL Y PERIFERICOS

PROCEDIMIENTO PARA EL DESARROLLO DE LA PRCTICA:

LICENCIATURA EN SISTEMAS COMPUTACIONALES

LICENCIATURA EN SISTEMAS COMPUTACIONALES

UNA GRAMTICA REGULAR

Una gramtica formal es el conjunto de reglas o especificaciones que rigen la

LICENCIATURA EN SISTEMAS COMPUTACIONALES

EQUIPO Y SOFTWARE A UTILIZAR:

- COMPUTADORA PERSONAL Y PERIFERICOS

PROCEDIMIENTO PARA EL DESARROLLO DE LA PRCTICA:

Construya un programa (en el lenguaje de programacin que desee), que le permita

LICENCIATURA EN SISTEMAS COMPUTACIONALES

LICENCIATURA EN SISTEMAS COMPUTACIONALES

NOMBRE DE LA PRCTICA: : AUTOMATAS DE PILA

Que el alumno comprenda y explique el funcionamiento de un autmata de pila

Un Autmata de Pila se caracteriza por contar con un flujo de entrada y un

LICENCIATURA EN SISTEMAS COMPUTACIONALES

EQUIPO Y SOFTWARE A UTILIZAR:

- COMPUTADORA PERSONAL Y PERIFERICOS