Autómatas de Pila y Máquinas de Turing Estructurados Jairo Rocha

338 Fundamentos teóricos de la informáticaveían ningún problema en los programas. Es decir,la demostración es tan directa que salta a la vista lacontradicción y choca con la intuición. Todo esto encontraste con su pasividad tradicional cuando se hacela demostración numerando máquinas de Turing.Existen varios libros y artículos que hacen intentosde dar versiones para programadores de la teoríade la computación. Por ejemplo, Morales y otros [3]definen un máquina contadora estructurada; el problemade usar enteros positivos como estructura básicaes que el manejo de programas codificados noes natural; además, no es un buen modelo en teoríade la complejidad porque no es natural suponer queen un paso se puede incrementar un entero. El mejorlibro con un enfoque moderno es, sin duda, el deJones [2]; no es, sin embargo, un libro de autómatassino de teoría de la computación en cuyo prefacio seapuesta por un enfoque a la computabilidad que evitelas máquinas de Turing y las funciones primitivasrecursivas y use las estructuras de datos modernas deLisp y la semántica denotacional de programas.No conocemos ningún libro que presente los resultadosteóricos de autómatas de pila con un enfoqueestructurado como el dado aquí.Referencias[1] J. Hopcroft, R. Motwani, J. Ullman. Introduccióna la teoría de autómatas, lenguajes y computación.Addison-Wesley, 2002.[2] N. Jones. Computability and Complexity: Froma Programming Perspective, MIT press, 1997.[3] R. Morales et al. Una alternativa docente a lamáquina de Turing, Memorias de JENUI 2003,pp 249-258, Ed. Thomson.[4] J. Rocha, F. Roselló Autòmatas, Gramàtiques iProgrames: Verificació i Concurrència , MaterialsDidàctics, UIB, 2a ed. en imprenta, 2005.