Sim eu li os teus links e obrigado pela sua dedicação em responder.
Eu realmente estou interessado em avançar mais nessa conversa; então se também for interessante para você, poderemos prosseguir mais.

Quanto a máquina de Turing podemos ignorar a memória infinita, bastaria construir uma máquina de Turing com memória suficiente para que durante a execução das tuplas não fosse alcançado os limites da memória.

Uma das implicações da máquina de Turing é que é possível uma máquina de Turing simular outra máquina de Turing.
Dessa forma em qualquer linguaguem de programação é possível construir um interpretador de tuplas que lê e escreve em uma memória.

Pelo que eu lí dos seus posts, presumo que você seja um professor universitário com mestrados e doutorados e que você tem um conhecimento muito amplo e profundo sobre programação.

Eu não conheço linguagens puramente funcionais; então talvez eu também não tenha os requisitos suficientes para me aprofundar nessa discução contigo; mas isso é você quem vai dizer...
As linguagens que eu conheço são mais antigas; Cobol, BASIC, C e Assembly.
A minha área de atuação não é a mesma que a maioria do pessoal.