Teora de la computacin

De Wikipedia, la enciclopedia libre

Saltar a navegacin, bsqueda La teora de la computacin es una ciencia, en particular una rama de la matemtica y de la computacin que centra su inters en el estudio y definicin formal de los cmputos. Se le llama cmputo a la obtencin de una solucin o resultado (generalmente en el sentido matemtico/aritmtico del trmino , a partir de ciertos datos o entradas utili!ando para ello un proceso o algoritmo.

Historia [editar]
"esde pocas antiguas, los cmputos #an e$istido y se #an efectuado de manera mental o asistida por rudimentos como cuentas, lpi! y papel, o tablas. Los antecedentes de la computacin mecnica, pueden tra!arse #asta pocas antiguas, con el desarrollo de artefactos para asistir el proceso de los clculos matemticos mentales, por e%emplo el baco, la regla de clculo o el quipu. &unque qui!s sea ms propicia como e%emplo precursor, la clebre calculadora griega de &nti'yt#era, utili!ada segn los e$pertos para asistir en clculos astronmicos, y considerada por muc#os como la primera computadora. (tro e%emplo precursor son las mquinas sumadoras de )laise *ascal. &paratos que demuestran una notable pericia de sus creadores en el conocimiento sobre la forma de elaborar los clculos deseados, al grado de poder representarlos en la forma de mecanismos ms o menos elaborados. Sin embargo, la teor+a de la computacin como ciencia comien!a propiamente a principios del siglo ,,, poco antes que las computadoras electrnicas fuesen inventadas. -n ese poca varios matemticos se preguntaban qu clase de problemas de la matemtica, pod+an resolverse por .mtodos simples. y cuales no. / para ello deb+an en principio desarrollar una definicin de .mtodo para resolver problemas., es decir, necesitaban el desarrollo de una nocin formal (matemtica de lo que es un clculo/algoritmo y la aritmtica lgica. "urante el siglo ,0, y ,, diversas corrientes filosficas allanaron el camino de la computacin a partir de las definiciones de sistemas formales. "estacando 1urt 23del y )ertrand 4ussell entre otros. 5arias definiciones y modelos formales de lo que es un clculo fueron propuestos por precursores del dominio como &lan 6uring y &lon!o 7#urc#8 entre esos modelos estn la mquina de 6uring, las funciones recursivas, y el clculo Lambda. 6odos los cuales

se #a demostrado posteriormente que son equivalentes en e$presividad computacional, es decir, todos pueden representar la misma clase de cmputos o algoritmos, aunque lo #agan de maneras diferentes. Se asume normalmente que las computadoras electrnicas son tambin equivalentes en capacidad de cmputo a cualquiera de esos tres modelos mencionados anteriormente, pero no e$iste una prueba formal de ello, por tal ra!n a tal presuncin ra!onable se le conoce como la con%etura de 7#urc#96uring. "e all+ la relevancia del estudio de las mquinas de 6uring, pues gracias a tal con%etura ampliamente aceptada como verdadera, todo problema de cmputo que sea resoluble en una mquina de 6uring, se considera que tambin lo ser en una computadora, y viceversa. -s meritorio el #ec#o que gracias a la equivalencia de mquinas de 6uring y computadoras, se #aya determinado que e$isten clculos que no pueden ser resueltos en un tiempo ra!onable en ninguna computadora imaginable, o incluso, que no pueden resolverse en lo absoluto, por e%emplo el problema de correspondencia de *ost o el problema de predecir si una mquina de 6uring cualquiera va a llegar a un estado final (conocido como el problema del halting en ingls, o problema de la parada . (tros temas de inters de la teor+a de la computacin, son la cantidad de tiempo o la cantidad de memoria necesaria para reali!ar un clculo dado. Se #a determinado que e$isten cmputos resolubles, pero que necesitan cantidades irrealistas de tiempo o memoria para poder efectuarse. -s sumamente importante para los especialistas del dominio conocer la comple%idad computacional de un algoritmo, pues sta determinar la aplicabilidad del mismo. (tro inters de esta ciencia, son los modelos reducidos de cmputo, que son en realidad casos particulares de una mquina de 6uring. 7omo lo son las mquinas de estado finito esbo!adas primero por :arren ;c7ulloc# y :alter *itts en <=>?, y los autmatas con pila.

Subramas [editar]
La teor+a de la computacin tiene varias subramas propias, entre ellas@

La 6eor+a de los lengua%es y gramticas formales, que es el estudio y procesamiento de lengua%es artificiales, a travs de la utili!acin de modelos simplificados de cmputo, como son las autmatas finitos y los autmatas de pila. La comple%idad, o el estudio de la cantidad de tiempo y de espacio en memoria que toma la e%ecucin de un cmputo dado. La 6eor+a de la computabilidad, o el estudio y determinacin de la clase de problemas que pueden ser resueltos en una mquina de 6uring.