A sua explicação da máquina de Turing foi clara e agradável.
Já conhecia a máquina de Turing, da cadeira de Teoria da Computação - de Eng. Informatica - por isso não me disse nada de novo.

No entanto achei mais interesse o tema (vagamente abordado) de máquinas deterministas versus máquinas não-deterministas. Interessante era um artigo(?) sobre esta distinção e o facto das máquinas não-deterministas se vierem a existir revolucionarem por completo a computação da maneira que a conhecemos, quebrando asssim, por exemplo, todos os sistemas de criptografia utilizados actualmente.

Vejo que já não "toca" nisto há algum tempo, mas ficarei atento a um possível artigo aqui, ou mais provavelmente noutro sitio, sobre isto.

Melhores cumprimentos

Obrigado pela sugestão. "Isto" tem andado um bocado parado, mas vai re-ganhar velocidade. E isso tocará à questão central deste blogue: a máquina. E, nesse campo, a sua sugestão é boa.