TY - BOOK AU - Alfonseca Cubero, Enrique AU - Alfonseca Moreno, Manuel AU - Moriyón Salomon, Roberto AU - Sánchez González, Carmelo TI - Teoría de autómatas y lenguajes formales SN - 9788448156374 U1 - 006.31 A388 PY - 2007/// CY - España PB - Mc-Graw Hill KW - Lenguajes formales KW - Lenguajes de programación (Computadores electrónicos) KW - Teoría de las máquinas KW - Autómatas KW - Máquina de Turing N1 - Incluye índice, bibliografía y apéndice; Incluye bibliografía; Máquinas, lenguajes y problemas -- Máquinas de Turing -- Autómatas finitos -- Autómatas a pila -- Gramáticas -- Grámaticas y máquinas: tipos 0 y 1 -- Lenguajes regulares -- Lenguajes independientes del contexto -- Computabilidad y complejidad -- Otras máquinas y grámaticas -- Sistemas avanzados de cómputo -- Conceptos matemáticos utilizados UR - http://biblioteca.unac.edu.co/portadas/53004.jpg ER -