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

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