Teoría de la computación

Carta Poco común · N.º 160198

La teoría de la computación o teoría de la informática es una rama de las ciencias de la computación que estudia los principios fundamentales de la computación desde un enfoque abstracto y formal. Su objetivo principal es entender qué problemas pueden resolverse mediante procedimientos computacionales, cuánta memoria y tiempo se requiere para ello, y cómo representar formalmente dichos procesos. Este campo se apoya en herramientas matemáticas como los sistemas formales, que utilizan símbolos y reglas lógicas para describir algoritmos y estructuras de datos, así como en modelos teóricos como los autómatas, que permiten simular y analizar el comportamiento de sistemas computacionales. Entre sus subáreas destacan la teoría de autómatas, la teoría de lenguajes formales, la teoría de la complejidad computacional y la teoría de la computabilidad. A través del uso de la abstracción, la teoría de la computación permite modelar procesos de cálculo independientemente de las características físicas…

Leer en Wikipedia · Imagen Schadel (http://turing.izt.uam.mx), Public domain