AUTOMATA:

Aparato provisto de un mecanismo interior que le permite

ciertos movimientos.
Máquina electrónica fabricada para realizar automáticamente
movimientos y acciones propios de un ser animado. Robot.
Persona sin voluntad propia que se deja manejar por otras o
que actúa de manera mecánica, como si fuera una máquina.

Instrumento o aparato que encierra dentro de sí el mecanismo

que le imprime determinados movimientos. También, la entidad
abstracta que se obtiene al prescindir de la naturaleza física y
disposición espacial de sus partes, quedando un conjunto de
estados no especificados físicamente, entradas de datos o
impulsos y salidas de resultados o acciones vinculados por
determinadas reglas.
Máquina que imita la figura y los movimientos de un ser
animado.
COMPUTABILIDAD

La Teoría de la computabilidad es la parte de la computación

que estudia los problemas de decisión que pueden ser resueltos
con un algoritmo o equivalentemente con una máquina de
Turing.

El propósito inicial de la teoría de la computabilidad es hacer

precisa la noción intuitiva de función calculable; esto es, una
función cuyos valores pueden ser calculados de forma
automática o efectiva mediante un algoritmo. Así podemos
obtener una comprensión más clara de esta idea intuitiva; y
solo de esta forma podemos explorar matemáticamente el
concepto de computabilidad y los conceptos relacionadas con
ella, tales como decibilidad

Surge así una teoría que producirá resultados positivos y

negativos (estamos pensando en resultados de no
computabilidad o de indecibilidad

La teoría de la computabilidad puede caracterizarse, desde el

punto de vista de las C.C., como la búsqueda de respuestas para
las siguientes preguntas:
1) ¿Qué pueden hacer los ordenadores (sin restricciones de
espacio, tiempo o dinero)?

2) ¿Cuales son las limitaciones inherentes a los métodos

automáticos de cálculo?

COMPLEJIDAD

La teoría de la complejidad computacional es la rama de la

teoría de la computación que estudia, de manera teórica, la
complejidad inherente a la resolución de un problema
computable. Los recursos comúnmente estudiados son el
tiempo (mediante una aproximación al número y tipo de pasos
de ejecución de un algoritmo para resolver un problema) y el
espacio (mediante una aproximación a la cantidad de memoria
utilizada para resolver un problema). Se pueden estudiar
igualmente otros parámetros, tales como el número de
procesadores necesarios para resolver el problema en paralelo

La teoría de la complejidad difiere de la teoría de la

computabilidad en que ésta se ocupa de la factibilidad de
expresar problemas como algoritmos efectivos sin tomar en
cuenta los recursos necesarios para ello.

Los problemas que tienen una solución con orden de

complejidad lineal son los problemas que se resuelven en un
tiempo que se relaciona linealmente con su tamaño.

Hoy en día las computadoras resuelven problemas mediante

algoritmos que tienen como máximo una complejidad o coste
computacional poli nómico, es decir, la relación entre el tamaño
del problema y su tiempo de ejecución es polinómica. Éstos son
problemas agrupados en la clase P. Los problemas que no
pueden ser resueltos por nuestras computadoras (las cuales
son Máquinas Determinísticas), que en general poseen costes
factorial o combinatorio pero que podrían ser procesados por
una máquina no-determinista, están agrupados en la clase NP.
Estos problemas no tienen una solución práctica, es decir, una
máquina determinística (como una computadora actual) no
puede resolverlos en un tiempo razonable.