Diagrama de temas

  • Lenguajes Formales (2013)

    Colapsar todo Expandir todo

    lenguajes-formales2.jpg

         

    Profesores

    Domingo Gómez Pérez

    Cristina Tirnauca

    Departamento de Matemáticas, Estadística y Computación

     

     

     

     

     

     

     

    Esta asignatura se centra en el estudio de los lenguajes formales y de las herramientas que nos permiten definirlos, como son las gramáticas formales y los autómatas.

     

    Palabras Clave de la Asignatura

    Autómatas con Pila, Árboles de Derivación, Gramáticas, Lenguajes Libres de Contexto, Lenguaje Formales, Autómatas Finitos, Jerarquía de Chomsky, Expresiones Regulares, Determinismo, Lenguajes Regulares.

  • Bibliografía

    bibliografia

      

     

        Básica    

     

    • Ding-Zhu & Ker-I Ko (2001): «Problem solving in automata, languages and complexity». John Wiley & Sons, INC.

    • Alfred V. Aho, John E. Hopcroft & Jeffrey D. Ullman (1975): «The design and analysis of computer algorithms». Addison-Weslwy Publishing Co., Reading, Mass. London-Amsterdam.

    • J.E. Hopcroft, R. Motwani, J.D. Ullman (2001): «Introduction to automata theory, languages, and computation. 2ª Ed. Addison-Wesley.

     

     

     

        Complementaria    

     

    • Terence Parr (2007): «The definitive ANTLR reference. Programatic bookshelf». United States of America.

    • D. Kozen (1997): «Automata and computability». Springer-Verlag.