Fundamentos Teoricos Da Computacao

Voltar para o início

Ementa

Modelos formais de maquinas e suas linguagens: automato finito, automato a pilha, maquina de turing, maquina de turing paralela. Computabilidade e decidibilidade. Complexidade de problemas: classes de problemas. Aleatoriedade e altenancia.

Código da disciplina: DCC878

Tipo da atividade: optativa

Créditos mínimo: 4

Carga horária (horas):

Teórica Prática Total
60 0