Se trata, como su nombre indica, de un curso introductorio en la materia. Se ha dividido en cuatro apartados básicos, como ha venido siendo tradicional en algunos textos semejantes de quizá más envergadura, como son unos rudimentos de Logica, un estudio esencialmente funcional de los Automatas Finitos (pero no por ello menos descriptivo), mas adecuado, en nuestra opinion, a una carrera no esencialmente tecnica pero fuertemente teorica, para pasar a continuacion al automata mas potente, la Maquina de Turing, con sus temas asociados de Computabilidad, Recursividad y unas ideas generales de Complejidad, y terminar con un tema sobre Lenguajes y Gramaticas, cuyo objetivo es fundamentalmente taxonomico. Se han obviado en casi todos los casos demostraciones de teoremas basicos, en algunos por su facilidad, pero en otros, porque su dificultad se sale, en principio, de la intencion de que sea un curso introductorio destinado a dar una vision de conjunto mas que a profundizar especificamente en los temas. De todos modos, quienes esten interesados en esa profundizacion pueden acudir a los textos citados en la bibliografia que son todos ellos magnificos en nuestra opinion. Se ha añadido un Apendice, con problemas resueltos de la primera parte. Respecto a la segunda parte creemos que son suficientes los contenidos practicos que hay en sus correspondientes capitulos. El texto esta diseñado, en muchos aspectos, de manera informal, de forma que guarde cierto parecido con apuntes esquematicos reducidos al establecimiento de axiomaticas, a listados de definiciones congruentes dentro del tema a tratar, y al enunciado de teoremas, con los que, en su caso se ponen en conexion ejemplos y/o ejercicios de aplicacion practica. Asimismo se repiten, cuando se ha considerado conveniente las definiciones de algunos conceptos o se dan otras definiciones equivalentes de ellos, con objeto de ampliar la vision de conjunto o de repasar.
Ver más