MAC0414 - Autômatos, Computabilidade e Complexidade (2020)

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