Este libro, denominado Lenguajes formales y teor¡a de aut¢matas,comienza con una presentaci¢n unificada de los lenguajes y gram ticasseg£n la jerarqu¡a de Chomsky, para luego poner el foco en lasm quinas abstractas, avanzando progresivamente desde las m s simpleshasta la de Turing, que es la m s compleja. El libro est destinado aun curso de Teor¡a de la Computaci¢n de Ingenier¡a de Sistemas y coneste fin se opt¢ por un enfoque novedoso que unific¢ el tratamiento de los lenguajes y gram ticas formales en un cap¡tulo inicial, haciendoentonces posible la posterior presentaci¢n de las m quinas abstractasde manera progressiva y continua, por disponerse ya de todos losconocimientos necesarios de la ling¡stica matem tica. Al definir elcontenido y enfoque del tratamiento de los temas presentados, se busc¢ un equilibrio que contemplara: i) los conocimientos necesarios paracubrir los contenidos m¡nimos previstos habitualmente en los planes de estudio de las carreras de Ingenier¡a de Sistemas, ii) lasprevisiones normalmente establecidas en este campo al definir losest ndares para la acreditaci¢n de las carreras afines, iii) elrespaldo conceptual necesario para los temas abordados y iv) el tiempo disponible, que corresponde al de una materia cuatrimestral con unacarga horaria de entre 60 y 90 hs reloj. Naturalmente, como siempreocurre en estos casos, fue necesario llegar a una soluci¢n decompromiso en la que se beneficiaron algunos temas en perjuicio deotros. Aun as¡, es probable que en algunos temas el materialpresentado sea excesivo para un primer curso de Teor¡a de laComputaci¢n y queda a criterio del docente la selecci¢n del mismo.Adem s, en los desarrollos y ejemplos, se procur¢ dejar siempre'puertas abiertas' que estimulen al lector a ahondar sobre los temastratados.
