Elaborar o estudo de complexidade computacional iniciado em MAC0414, Autômatos, Computabilidade e Complexidade.