Estou querendo codificar uma simples máquina de Turing nas regras de um jogo de cartas. Eu gostaria de torná-la uma máquina universal de Turing para provar sua integridade.
Até agora, criei um estado de jogo que codifica a máquina de Turing de 2 estados e 3 símbolos de Alex Smith . No entanto, parece (admitidamente baseado na Wikipedia) que há alguma controvérsia sobre se a máquina (2, 3) é realmente universal.
Por uma questão de rigidez, gostaria que minha prova apresentasse um UTM "não controverso". Então, minhas perguntas são:
A máquina (2,3) é geralmente considerada universal, não universal ou controversa? Eu não sei onde seria um local respeitável para procurar a resposta para isso.
Se a máquina (2,3) não é amplamente aceita como universal, qual é o menor N, de modo que uma máquina (2, N) é aceita de maneira não controversa como universal?
Editado para adicionar: Também seria útil conhecer todos os requisitos da fita infinita para as máquinas mencionadas, se você as conhecer. Parece que a máquina (2,3) requer um estado inicial de fita não periódico, o que será um pouco difícil de simular dentro das regras de um jogo de cartas.