P. 1
teoria

teoria

|Views: 3|Likes:

More info:

Published by: Fernando Elizalde Ramirez on May 09, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

06/10/2014

pdf

text

original

Teoría de la computación

La teoría de la computación es una rama de la matemática y la computación que centra su interés en las limitaciones y capacidades fundamentales de las computadoras. Específicamente esta teoría busca modelos matemáticos que formalizan el concepto de hacer un cómputo (cuenta o cálculo) y la clasificación de problemas.

Principales subramas [editar]
Teoría de autómatas [editar]
Artículo principal: Teoría de autómatas.

Esta teoría provee modelos matemáticos que formalizan el concepto de computadora o algoritmo de manera suficientemente simplificada 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 computación, incluyendo procesamiento de texto, compiladores, diseño de hardware e inteligencia artificial. Los tres principales modelos son los autómatas finitos, autómatas con pila y máquinas de Turing, cada uno con sus variantes deterministas y no deterministas. Los autómatas finitos son buenos modelos de computadoras que tienen una cantidad limitada de memoria, los autómatas con pila modelan los que tienen gran cantidad de memoria pero que solo pueden manipularla a manera de pila (el último dato almacenado es el siguiente leído), y las máquinas de Turing modelan las computadoras que tienen una gran cantidad de memoria almacenada en una cinta. Estos autómatas están estrechamente relacionados con la teoría de lenguajes formales; cada autómata es equivalente a una gramática formal, lo que permite reinterpretar la jerarquía de Chomsky en términos de autómatas. Existen muchos otros tipos de autómatas como las máquinas de acceso aleatorio, autómatas celulares, máquinas ábaco y las máquinas de estado abstracto; sin embargo en todos los casos se ha mostrado que estos modelos no son más generales que la máquina de Turing, pues la máquina de Turing tiene la capacidad de simular cada uno de estos autómatas. Esto da lugar a que se piense en la máquina de Turing como el modelo universal de computadora.

Teoría de la computabilidad [editar]
Artículo principal: Teoría de la computabilidad. Véase también: Indecidibilidad.

recursivamente enumerables o reconocibles. La herramienta principal para lograr estas clasificaciones es el concepto de reducibilidad: Un problema se sabe resolver el problema se reduce al problema si bajo la suposición de que . Véase también: Clase de complejidad. de manera que multiplicar se reduce a sumar. Aun cuando un problema sea computable. es muy fácil enseñarle a multiplicar haciendo sumas repetidas. El ejemplo clásico por excelencia es el problema de la parada. no importando que tengan o no solución. tiempo y otros recursos computacionales para resolver problemas. que consiste en determinar cuándo una proposición lógica es un teorema. Por es posible resolver al problema .  Los semicomputables son aquellos para los cuales hay un algoritmo que es capaz encontrar una solución si es que existe.e . Gran parte de las ciencias computacionales están dedicadas a resolver problemas de forma algorítmica. Los problemas se clasifican en esta teoría de acuerdo a su grado de imposibilidad:  Los computables 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. La teoría de la complejidad computacional estudia las necesidades de memoria. donde los problemas incomputables se subdividen a su vez en problemas más difíciles que otros. bajo la suposición de que una persona sabe sumar. El ejemplo clásico por excelencia es el problema de la implicación lógica. resolubles o recursivos. ahorrando así tiempo y esfuerzo. Teoría de la complejidad computacional [editar] Artículo principal: Complejidad computacional. puede que no sea posible resolverlo en la práctica si se requiere mucha memoria o tiempo de ejecución.  Los incomputables son aquellos para los cuales no hay ningún algoritmo que los pueda resolver. es posible reconocer a aquellos que sí tienen solución. También se les conoce como decidibles. La teoría de la computabilidad es útil para no tratar de resolver algoritmicamente estos problemas. Hay una versión más general de esta clasificación.Esta teoría explora los límites de la posibilidad de solucionar problemas mediante algoritmos. Uno de los . pero ningún algoritmo que determine cuando la solución no existe (en cuyo caso el algoritmo para encontrar la solución entraría a un bucle infinito). esto se denota por informalmente significa que el problema no es más difícil de resolver que el problema ejemplo. porque si se enlistan todos los casos posibles del problema. A estos problemas también se les conoce como listables. de esta manera es posible explicar por qué unos problemas son más difíciles de resolver que otros. de manera que el descubrimiento de problemas imposibles es una gran sorpresa. para este problema no hay ningún algoritmo que en todos los casos pueda distinguir si una proposición o su negación es un teorema.

Kurt Gödel (funciones recursivas) y Alan Turing (máquina de Turing). aunque lo . de acuerdo a su dificultad. en cuyo caso el problema se vuelve fácil. en esta teoría las funciones se clasifican por su grado de dificultad de ser aprendidas. similar a la tabla periódica. En esta época varios matemáticos se preguntaban si existía un método universal para resolver todos los problemas matemáticos.  Especificación y verificación formal Busca metodologías para garantizar que un problema esté correctamente modelado y sistemas formales para validar la corrección de la solución algorítmica. Para ello debían desarrollar la noción precisa de método para resolver problemas. La teoría de la complejidad computacional también tiene aplicaciones en áreas como la criptografía.  Teoría de tipos Busca la clasificación de enunciados de acuerdo a los tipos de valores que calculan utilizando herramientas de teoría de lenguajes formales. La teoría de la computación comienza propiamente a principios del siglo XX. En esta clasificación los problemas se separan porclases de complejidad. donde se espera que descifrar un código secreto sea un problema muy difícil a menos que se tenga la contraseña. porque los investigadores no solo desean utilizar un método para resolver un problema. y concretamente en ejemplos y contraejemplos. poco antes que las computadoras electrónicas fuesen inventadas. Otras subramas [editar]  Modelos de cómputo Estudia abstracciones de hacer un cómputo. Esta teoría tiene aplicación en casi todas las áreas de conocimiento donde se desee resolver un problema computacionalmente.  Teoría algorítmica de la información Centra su atención en la complejidad para describir algoritmicamente una secuencia de datos (cadena). Algunos de estos modelos formales fueron propuestos por precursores como Alonzo Church (cálculo Lambda).  La Teoría del aprendizaje computacional busca algoritmos que hagan que las computadoras modifiquen sus comportamientos de manera autónoma con base en datos empíricos. Se ha mostrado que estos modelos son equivalentes en el sentido de que pueden simular los mismos algoritmos. es decir. A este tipo de aprendizaje se le llama aprendizaje supervisado. De forma análoga a la teoría de la complejidad computacional. la definición formal dealgoritmo. Historia [editar] Véanse también: Entscheidungsproblem y Tesis de Church-Turing.cálculo lambda e inclusive lenguajes de programación. aquí la complejidad está medida por la longitud de su descripción más pequeña. sino utilizar el más rápido.mayores logros de esta rama es la clasificación de problemas. Aquí se incluyen los clásicos modelos de la teoría de autómatas además de otros modelos como funciones recursivas.

no importando la cantidad de tiempo o memoria se disponga en una computadora. esto es una fuerte evidencia de la conjetura de Church-Turing. En 2007 Nachum Dershowitz y Yuri Gurevich publicaron una demostración de esta conjetura basándose en cierta axiomatización de algoritmos.. Asimismo. siendo el problema de la parada el más famoso de ellos. de que todo algoritmo habido y por haber se puede simular en una máquina de Turing. que también han mostrado ser equivalentes a los modelos anteriores...1 Uno de los primeros resultados de esta teoría fue la existencia de problemas imposibles de resolver algoritmicamente. o equivalentemente. ..hagan de maneras diferentes. usando funciones recursivas. Entre los modelos de cómputo más recientes se encuentran los lenguajes de programación. con la llegada de las computadoras modernas se constató que algunos problemas resolubles en teoría eran imposibles en la práctica. puesto que dichas soluciones necesitaban cantidades irrealistas de tiempo o memoria para poderse encontrar. Para estos problemas no existe ni existirá ningún algoritmo que los pueda resolver.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->