Levantamento de Implementações de Máquinas de Post na Internet

Em http://deividi.googlepages.com/ pode ser encontrado um levantamento de implementações de Máquinas de Post disponíveis na Internet . As máquinas de Post são um dispositivo computacional abstrato que possui o mesmo poder computacional das Máquinas de Turing (http://plato.stanford.edu/entries/turing-machine/). Este levantamento foi realizado no primeiro semestre de 2008 como trabalho final da disciplina "Teoria da Computação" (TEC) do curso de Ciência da Computação da Universidade do Estado de Santa Catarina (UDESC), campus Joinville.

Os autores do levantamento são os alunos Deividi Rodrigo Santiago da Silva, Guilherme de Sá Gevaerd, Luis Fernando de Mattos Schwindlem e Northonn Tibério, sob a orientação do professor Adolfo Gustavo Serra Seca Neto.