La teoría de la computación se trata de determinar qué problemas se pueden resolver computacionalmente y con qué eficiencia.
La teoría tiene en cuenta diferentes modelos informáticos, como los autómatas finitos (los más sencillos), las máquinas de Turing (las computadoras corrientes hoy en día) y las computadoras cuánticas (cuyas operaciones no son digitales).
La lógica y los lenguajes formales juegan un papel central en la teoría de la computación porque nos permiten expresar las propiedades de los programas y razonar sobre su comportamiento.
La teoría computacional también es responsable de comprender los límites entre problemas computables y no computables y clasificarlos según su simplicidad o complejidad en el mundo computacional.
Descargar el libro
Este libro electrónico se encuentra disponible de manera gratuita bajo la licencia Creative Commons, lo que significa que puedes descargarlo, leerlo y compartirlo de manera libre.
Una copia de la licencia la puedes encontrar aquí abajo, al descargar el libro estas aceptando los acuerdos de la licencia.
Este trabajo, tiene la licencia Licencia internacional Creative Commons Attribution 4.0. Para ver una copia de esta licencia, visite https://creativecommons.org/licenses/by/4.0/ o envíe una carta a Creative Commons, PO Box 1866, Mountain View, CA 94042, EE. UU.
Se atribuye a Victor Felder, la Free Ebook Foundation y sus colaboradores.
Puedes descargar el libro usando este enlace.