computacion

Teoría de la computación
Spanish Language Wiki.svg
Este artículo o sección necesita ser wikificado con un formato acorde a las convenciones de estilo.
Por favor, edítalo para que las cumpla.Mientras tanto, no elimines este aviso puesto el 30 de abril de 2014.
También puedes ayudar wikificando otros artículos o cambiando este cartel por uno más específico.
Es un conjunto de conocimientosracionales, sistematizados, y funcionales, que se centran en el estudio de la abstracción de los procesos que ocurren en la realidad con el fin de reproducirlos con ayuda de sistemas formales, es decir,a través de códigos de caracteres e instrucciones lógicas, reconocibles por el ser humano, con capacidad de ser modeladas en las limitaciones de dispositivos que procesan información y efectúancálculos, tales como el ordenador. Para ello se apoya en la teoría de autómatas para simular y estandarizar dichos procesos, así como para formalizar los problemas y darles solución.
eoría de lacomputabilidad[editar]
Artículo principal: Teoría de la computabilidad
Véase también: Indecidibilidad
Esta teoría explora los límites de la posibilidad de solucionar problemas mediante algoritmos. Gran partede las ciencias computacionales están dedicadas a resolver problemas de forma algorítmica, de manera que el descubrimiento de problemas imposibles es una gran sorpresa. La teoría de la computabilidades útil para no tratar de resolver algoritmicamente estos problemas, ahorrando así tiempo y esfuerzo.

Los problemas se clasifican en esta teoría de acuerdo a su grado de imposibilidad:

Loscomputables son aquellos para los cuales sí existe un algoritmo que siempre los resuelve cuando hay una solución y además es capaz de distinguir los casos que no la tienen. También se les conoce comodecidibles, resolubles o recursivos.
Los semicomputables son aquellos para los cuales hay un algoritmo que es capaz encontrar una solución si es que existe, pero ningún algoritmo que determine cuando...