Teora de la computacin

Los computables son aquellos para los cuales s

existe un algoritmo que siempre los resuelve cuando
hay una solucin y adems es capaz de distinguir los
casos que no la tienen. Tambin se les conoce como
decidibles, resolubles o recursivos.

La teora de la computacin es un conjunto de conocimientos racionales, sistematizados y funcionales que se

centran en el estudio de la abstraccin de los procesos
que ocurren en la realidad con el n de reproducirlos con
ayuda de sistemas formales, es decir, a travs de cdigos
de caracteres e instrucciones lgicas, reconocibles por el
ser humano, con capacidad de ser modeladas en las limitaciones de dispositivos que procesan informacin y que
efectan clculos como, por ejemplo, el ordenador. Para
ello, se apoya en la teora de autmatas, a n de simular
y estandarizar dichos procesos, as como para formalizar
los problemas y darles solucin.[cita requerida]

1
1.1

Los semicomputables son aquellos para los cuales

hay un algoritmo que es capaz encontrar una solucin si es que existe, pero ningn algoritmo que determine cuando la solucin no existe (en cuyo caso
el algoritmo para encontrar la solucin entrara a un
bucle innito). El ejemplo clsico por excelencia es
el problema de la parada. A estos problemas tambin
se les conoce como listables, recursivamente enumerables o reconocibles, porque si se enlistan todos los
casos posibles del problema, es posible reconocer a
aquellos que s tienen solucin.

Principales subramas
Teora de autmatas

Los incomputables son aquellos para los cuales no

hay ningn algoritmo que los pueda resolver, no importando que tengan o no solucin. El ejemplo clsico por excelencia es el problema de la implicacin
lgica, que consiste en determinar cundo una proposicin lgica es un teorema; para este problema
no hay ningn algoritmo que en todos los casos pueda distinguir si una proposicin o su negacin es un
teorema.

Esta teora provee modelos matemticos que formalizan

el concepto de computadora o algoritmo de manera sucientemente simplicada y general para que se puedan
analizar sus capacidades y limitaciones. Algunos de estos
modelos juegan un papel central en varias aplicaciones de
las ciencias de la computacin, incluyendo procesamiento
de texto, compiladores, diseo de hardware e inteligencia
articial.
Existen muchos otros tipos de autmatas como las
mquinas de acceso aleatorio, autmatas celulares,
mquinas baco y las mquinas de estado abstracto; sin
embargo en todos los casos se ha mostrado que estos modelos no son ms generales que la mquina de Turing,
pues la mquina de Turing tiene la capacidad de simular
cada uno de estos autmatas. Esto da lugar a que se piense en la mquina de Turing como el modelo universal de
computadora.

1.2

Hay una versin ms general de esta clasicacin, donde

los problemas incomputables se subdividen a su vez en
problemas ms difciles que otros. La herramienta principal para lograr estas clasicaciones es el concepto de
reducibilidad: Un problema A se reduce al problema B
si bajo la suposicin de que se sabe resolver el problema B es posible resolver al problema A ; esto se denota
por A t B , e informalmente signica que el problema
A no es ms difcil de resolver que el problema B . Por
ejemplo, bajo la suposicin de que una persona sabe sumar, es muy fcil ensearle a multiplicar haciendo sumas
repetidas, de manera que multiplicar se reduce a sumar.

Teora de la computabilidad

Esta teora explora los lmites de la posibilidad de solucionar problemas mediante algoritmos. Gran parte de las
ciencias computacionales estn dedicadas a resolver problemas de forma algortmica, de manera que el descubrimiento de problemas imposibles es una gran sorpresa. La
teora de la computabilidad es til para no tratar de resolver algoritmicamente estos problemas, ahorrando as
tiempo y esfuerzo.

1.3 Teora de la complejidad computacional

Aun cuando un problema sea computable, puede que no

sea posible resolverlo en la prctica si se requiere mucha
memoria o tiempo de ejecucin. La teora de la complejidad computacional estudia las necesidades de memoLos problemas se clasican en esta teora de acuerdo a su ria, tiempo y otros recursos computacionales para resolver problemas; de esta manera es posible explicar por qu
grado de imposibilidad:
1

unos problemas son ms difciles de resolver que otros.

Uno de los mayores logros de esta rama es la clasicacin
de problemas, similar a la tabla peridica, de acuerdo a su
dicultad. En esta clasicacin los problemas se separan
por clases de complejidad.
Esta teora tiene aplicacin en casi todas las reas de conocimiento donde se desee resolver un problema computacionalmente, porque los investigadores no solo desean
utilizar un mtodo para resolver un problema, sino utilizar el ms rpido. La teora de la complejidad computacional tambin tiene aplicaciones en reas como la
criptografa, donde se espera que descifrar un cdigo secreto sea un problema muy difcil a menos que se tenga
la contrasea, en cuyo caso el problema se vuelve fcil.

Otras subramas

REFERENCIAS

deban desarrollar la nocin precisa de mtodo para resolver problemas, es decir, la denicin formal de algoritmo.
Algunos de estos modelos formales fueron propuestos
por precursores como Alonzo Church (clculo Lambda), Kurt Gdel (funciones recursivas) y Alan Turing
(mquina de Turing). Se ha mostrado que estos modelos son equivalentes en el sentido de que pueden simular los mismos algoritmos, aunque lo hagan de maneras
diferentes. Entre los modelos de cmputo ms recientes
se encuentran los lenguajes de programacin, que tambin han mostrado ser equivalentes a los modelos anteriores; esto es una fuerte evidencia de la conjetura de
Church-Turing, de que todo algoritmo habido y por haber
se puede simular en una mquina de Turing, o equivalentemente, usando funciones recursivas. En 2007 Nachum
Dershowitz y Yuri Gurevich publicaron una demostracin de esta conjetura basndose en cierta axiomatizacin
de algoritmos.[1]

Uno de los primeros resultados de esta teora fue la existencia de problemas imposibles de resolver algoritmicamente, siendo el problema de la parada el ms famoso de
ellos. Para estos problemas no existe ni existir ningn
algoritmo que los pueda resolver, no importando la cantidad de tiempo o memoria se disponga en una computado Teora algortmica de la informacin Centra su ra. Asimismo, con la llegada de las computadoras moatencin en la complejidad para describir algorit- dernas se constat que algunos problemas resolubles en
micamente una secuencia de datos (cadena); aqu la teora eran imposibles en la prctica, puesto que dichas
complejidad est medida por la longitud de su des- soluciones necesitaban cantidades irrealistas de tiempo o
cripcin ms pequea.
memoria para poderse encontrar.....
Modelos de cmputo Estudia abstracciones de hacer un cmputo. Aqu se incluyen los clsicos modelos de la teora de autmatas adems de otros modelos como funciones recursivas, clculo lambda e
inclusive lenguajes de programacin.

Especicacin y vericacin formal Busca metodologas para garantizar que un problema est correctamente modelado y sistemas formales para validar la correccin de la solucin algortmica.
La Teora del aprendizaje computacional busca
algoritmos que hagan que las computadoras modiquen sus comportamientos de manera autnoma con
base en datos empricos, y concretamente en ejemplos y contraejemplos. A este tipo de aprendizaje se
le llama aprendizaje supervisado. De forma anloga a la teora de la complejidad computacional, en
esta teora las funciones se clasican por su grado de
dicultad de ser aprendidas.
Teora de tipos Busca la clasicacin de enunciados de acuerdo a los tipos de valores que calculan
utilizando herramientas de teora de lenguajes formales.

Historia

La teora de la computacin comienza propiamente a

principios del siglo XX, poco antes que las computadoras
electrnicas fuesen inventadas. En esta poca varios matemticos se preguntaban si exista un mtodo universal
para resolver todos los problemas matemticos. Para ello

4 Referencias
[1] Nachum Dershowitz & Yuri Gurevich (2008). A natural axiomatization of computability and proof of Churchs
Thesis. Bulletin of Symbolic Logic 14 (3): 299-350. ISSN
1079-8986.

Sipser, Michael (2005). Introduction to the Theory

of Computation (2 edicin). Course Technology.
ISBN 978-0534950972.
Kelley, Dean (1995). Teora de autmatas y lenguajes formales. Prentice Hall. ISBN 978-0-691-13382-9.
Boolos, George; Burgess, John; & Jefrey, Richard
(2007). Computability and Logic. Cambridge. ISBN
978-0-521-70146-4.
S. Barry Cooper (2004). Computability Theory.
Chapman & Hall/CRC. ISBN 1-58488-237-9.
Seccin 68Qxx, Theory of computing de American
Mathematical Society. 2010 Mathematics Subject
Classication.. Consultado el 7 de marzo de 2010.

Origen del texto y las imgenes, colaboradores y licencias

5.1

Texto

Teora de la computacin Fuente: https://es.wikipedia.org/wiki/Teor%C3%ADa_de_la_computaci%C3%B3n?oldid=93563073 Colaboradores: SpeedyGonzalez, Niceforo, Ascnder, Tano4595, Melocoton, Domaniom, Cinabrium, Ivan.Romero, Balderai, Elsenyor, Yrbot,
Baito, Fer31416, Jorgechp, Kn, Jstitch, BOTpolicia, Sir Magician, Julian Mendez, Gafotas, Montgomery, Ingenioso Hidalgo, Srengel,
DIKSON, JAnDbot, Mansoncc, El Pitufo, Plux, VolkovBot, Technopat, Muro Bot, Racso, SieBot, Dark, Manw, Correogsk, Tirithel,
Farisori, Valentin estevanez navarro, VanBot, UA31, AVBOT, Diegusjaimes, Arjuno3, Luckas-bot, Mcapdevila, ArthurBot, RadiX, SuperBraulio13, Ferbrunnen, FrescoBot, AstaBOTh15, PatruBOT, EmausBot, MercurioMT, MerlIwBot, Rauldragon, Pabos95, Helmy oved,
SharkWolf123, Alan, Addbot, Karloconk, Jarould, Matiia, GnniX, Ignaciogu y Annimos: 67

5.2

Imgenes

Archivo:Spanish_Language_Wiki.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2a/Spanish_Language_Wiki.svg

Licencia: CC BY-SA 3.0 Colaboradores: Derived from Wiki puzzle.svg by user:Kimbar Artista original: James.mcd.nz

5.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0