Aspectos Formais da Computação (Formal Aspects Of Computing) - Turma A
O objetivo geral da disciplina é estudar as teorias relativas aos autômatos e às linguagens formais e as relações de equivalência envolvendo esses modelos. Aplicar essas teorias na modelagem e solução de problemas computacionais bem como identificar problemas indecidíveis.