Estudo de vários formalismos para computação e algoritmos e as limitações de certas formas de computação.