LICENCIATURA EN SISTEMAS COMPUTACIONALES MANUAL DE PRCTICAS LENGUAJES Y AUTMATAS

6 Semestre

FECHA DE ELABORACIN : ELABORARON : NOMBRE

29-08-2011

NO DE CUENTA 222684 222677 222674 163589

JOSE DANIEL SUAREZ CERVANTES CINTHYA SARAI ORTEGA MARTINEZ REYNALDO LOPEZ FLORES ALFREDO HERNANDEZ TELLEZ

Vo. Bo. PRESIDENTE DE LA ACADEMIA DE SISTEMAS Y SOFTWARE DE BASE ING. Alberto Alfonso Galindo Galindo.

Vo. Bo. SECRETARIO DE LA ACADEMIA DE SISTEMAS Y SOFTWARE DE BASE M.C.C. Ana Leticia Palacios Coyoli.

, Vo.Bo. COORDINADOR DE LA LICENCIATURA EN SISTEMAS COMPUTACIONALES M.C.C. Luis Islas Hernndez.

LICENCIATURA EN SISTEMAS COMPUTACIONALES MANUAL DE PRCTICAS LENGUAJES Y AUTMATAS

6 Semestre

NOMBRE DE LA PRCTICA: REPRESENTACIN Y MANIPULACIN DE UN AUTOMATA FINITO DETERMINSTICO (DFA).

No. DE PRCTICA: 2 SESIONES: 4 No. DE INTEGRANTES MXIMO POR EQUIPO:

2 No. DE

OBJETIVO:

El alumno experimentar con el funcionamiento de un DFA especfico.

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)

LICENCIATURA EN SISTEMAS COMPUTACIONALES MANUAL DE PRCTICAS LENGUAJES Y AUTMATAS

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 represente el comportamiento del siguiente DFA: M = ( Q , , , q0 , F ) Donde: Q = { q0 , q1 , q2 , q3 , q4 , q5 , q6 , q7 , q8 , q9 } ={0,1,2} q0 = estado inicial F = { q2 , q6 , q9 } 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. Tabla de transiciones ( q , a ) = p Estado 0 1 2 Q0 q9 q6 q7 Q1 q1 q0 q2 Q2 q3 q5 q6 q3 q4 q8 q9 q4 q2 q1 q6 q5 q4 q7 q9 q6 q0 q1 q2 q7 q5 q6 q7 q8 q7 q2 q5 q9 q0 q0 q3

LICENCIATURA EN SISTEMAS COMPUTACIONALES MANUAL DE PRCTICAS LENGUAJES Y AUTMATAS

6 Semestre

CONCLUSIONES Aprendimos los autmatas finitos ejemplificando en un sistema de programacin que en nuestro caso es en c++ demostrando que el programa dar la conclusin de haber evaluado las funciones de transicin, determinando si es una cadena regular o no regular.

BIBLIOGRAFA:

Bsica :
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

LICENCIATURA EN SISTEMAS COMPUTACIONALES MANUAL DE PRCTICAS LENGUAJES Y AUTMATAS

6 Semestre