Investigação do jogo Shapez.io para a verificação de sua Turing Completude
Este artigo investiga a Turing Completude do jogo “Shapez.io”. Para isso, foi suficiente demonstrar a existência da porta lógica NAND e de um sistema de “clock” para esta prova, pois esses são os elementos essenciais que conceitualmente permitem a implementação de uma máquina de Turing Universal. Ao relacionar esse tema com o jogo, foi possível identificar que essa é uma questão levantada pela comunidade do “Shapez.io” há anos. Muitos participantes da comunidade alegam ter construído máquinas que comprovam a completude do jogo, uma delas é a máquina implementada por Antoine Dragnir. Com essa máquina é possível demonstrar como implementar uma máquina de Turing Universal, e por isso ela foi analisada e explicada. Com isso, este artigo verifica a Turing completude do jogo “Shapez.io”, provando a possibilidade da implementação da porta lógica NAND e de um sistema de “clock”, e demonstra a possibilidade de implementar uma máquina de Turing Universal, ao apresentar a máquina de Antoine Dragnir que pode ser modificada para se tornar uma máquina de Turing Universal.
2025/2 - MSI2
Orientador: Vinicius Fernandes dos Santos
Palavras-chave: Turing Completude, Shapez.io, Máquina de Turing, Máquina de Turing Universal, Jogos Digitais.
PDF Disponível