Decidibilidade
13:53
O problema da parada
22:13
Introdução a máquinas de Turing
30:32
Autômatos com pilha
13:13
MÁQUINAS DE TURING e o Problema da Parada
1:04:06
Conferência 6: Hermenêutica e Argumentação
22:16
Máquinas de Turing I
16:28
[TCOMP] Aula 10.3 - Máquinas de Turing não-determinísticas
24:27