Teoriadelacomputacin Lateoradelacomputacinesunaramadelamatemticaylacomputacinquecentra su inters en las limitaciones y capacidades fundamentales de las computadoras. Especficamenteestateorabuscamodelosmatemticosqueformalizanelconcepto dehaceruncmputo(cuentaoclculo)ylaclasificacindeproblemas.

problemas. Automata Estateoraproveemodelosmatemticosqueformalizanelconceptodecomputadorao algoritmo de manera suficientemente simplificada y general para que se puedan analizarsuscapacidadesylimitaciones.Algunosdeestosmodelosjueganunpapel central en varias aplicaciones de las ciencias de la computacin, incluyendo procesamientodetexto,compiladores,diseodehardwareeinteligencia artificial. Lostresprincipalesmodelossonlosautmatasfinitos,autmatas deTuring.

con pilaymquinas

Complejidadcomputacional Auncuandounproblemaseacomputable,puedequenoseaposibleresolverloenla prctica si se requiere mucha memoria o tiempo de ejecucin. La teora de la complejidad computacional estudia las necesidades de memoria, tiempo y otros recursos computacionales para resolver problemas; de esta manera es posible explicarporquunosproblemassonmsdifcilesderesolverqueotros.Unode los mayores logros de esta rama es la clasificacin de problemas, similar a la tablaperidica,deacuerdoasudificultad.Enestaclasificacinlosproblemas seseparanporclases de complejidad.

Computabilidad Estateoraexploraloslmitesdelaposibilidaddesolucionarproblemasmediante algoritmos.Granpartedelascienciascomputacionalesestndedicadasaresolver problemas de forma algortmica, de manera que el descubrimiento de problemas imposibles esunagransorpresa.Lateoradelacomputabilidadestilparano tratar de resolver algoritmicamente estos problemas, ahorrando as tiempo y esfuerzo. Losproblemasseclasificanenestateoradeacuerdoasugradodeimposibilidad: Los computables son aquellos para los cuales s existe un algoritmo que siemprelosresuelvecuandohayunasolucinyademsescapazdedistinguir los casos que no la tienen. Tambin se les conoce como decidibles, resolublesorecursivos. capaz encontrar una solucin si es que existe, pero ningn algoritmo que determine cuando la solucin no existe (en cuyo caso el algoritmo para encontrarlasolucinentraraaunbucleinfinito).

Los semicomputables son aquellos para los cuales hay un algoritmo que es

Los incomputables sonaquellosparaloscualesnohayningnalgoritmoque

lospuedaresolver,noimportandoquetenganonosolucin.