Ementa

Modelos formais de máquinas e suas linguagens: autômato finito, autômato a pilha, máquina de turing, máquina de turing paralela. Computabilidade e decidibilidade. Complexidade de problemas: classes de problemas. Aleatoriedade e altenância.

Código da disciplina: DCC878

Tipo da atividade: optativa