eee ee UNIVERSISDAD PRIVADA DEL SUR DE MEXICO UPSUM INGENIERIA EN SISTEMAS COMPUTACIONALES ANTOLOGIA DE LA MATERIA TEORIA DE LA COMPUTACION CATEDRATICO ING. PABLO RAUL RAMIREZ POLAeee eee eee TEORIA DE LA COMPUTACION: Capitulo | Definicién e Historia Capitulo Il Lenguaje Capitulo Ill Lenguajes Formales Capitulo IV Autématas Finitos Capitulo V Gramaticas Capitulo VI Autématas de Pila Capitulo VIL_ Maquina de TuringCapitulo | Teoria de la computacién Definici6n La teorfa de la computacién es una ciencia, en particular una rama de la matemética y de la computacién que centra su interés en el estudio y definicién formal de los cémputos. Se le lama cémputo a la obtencién de una solucién o resultado (generalmente en el sentido matemstico/aritmético del término), a partir de ciertos datos o entradas Ltiizando para ello un proceso o algoritmo. Historia Desde épocas antiguas, los cémputos han existido y se han efectuado de manera ‘mental o asistida por rudimentos como cuentas, lapiz y papel, o tablas. Los antecedentes de la computacién mecénica, pueden trazarse hasta épocas antiguas, con el desarrollo de artefactos para asistr el proceso de los céleulos matematicos ‘mentales, por ejemplo el 4baco, la regla de célculo o el q ‘Aunque quizés sea més propicia como ejemplo precursor, la célebre caleuladora griega de Antikythera, utlizada segiin los expertos para asistir en célculos astronémicos, y considerada por muchos como la primera computadora. Otro ejemplo precursor son las maquinas sumadoras de Blaise Pascal. Aparatos que demuestran una notable pericia de sus creadores en el conocimiento sobre la forma de elaborar los célculos deseados, al grado de poder representarios en la forma de mecanismos més o menos elaborados. Sin embargo, la teoria de la computacién como ciencia comienza propiamente a principios del siglo XX, poco antes-que las computadoras electrénicas fuesen inventadas. En ese época varios mateméticos se preguntaban qué clase de problemas de la matemética, podian resolverse por "métodos simples" y cuales no. Y para ello debian ‘en principio desarrollar una definicién de "método para resolver problemas", es decir, necesitaban el desarrollo de una nocién formal (maternética) de lo que es un céleulo/algoritmo y Iaaritmética logica. Durante el siglo XIX y XX diversas corrientes filoséficas allanaron el camino de Ia computacién a partir de las definiciones de sistemas formales. Destacando Kurt Gédel vv Bertrand Russell entre otros.