Perguntas com a marcação «turing-machines»

11
Uma pequena linguagem C que as máquinas de turing podem simular

Estou procurando uma linguagem pequena que ajude a "convencer" os alunos de que máquinas de turing são um modelo de computação suficientemente geral. Ou seja, um idioma que se parece com os idiomas aos quais está acostumado, mas também é fácil de simular em uma máquina de turing. Papadimitriou usa...

10
Máquina de Turing distribuída?

Sou um estudante de mestrado focado em sistemas distribuídos, mas também interessado em ciência da computação teórica. Eu queria saber se existe uma representação formal de um sistema distribuído em cima de uma máquina de turing? Ou seja, é possível estender (criar uma variante) o conceito de uma...