Estou tentando desenvolver algumas noções de cálculo de diferença entre uma Máquina Ideal de Turing ideal concebida por um desenvolvedor (por exemplo, o que se pretende que um desenvolvedor de software), chame de , e as Máquinas que representam o software que realmente é projetado e implementado, digamos M α e M β , respectivamente.
Especificamente, meu interesse é examinar limitações (devido ao Teorema de Rice, por exemplo) na detecção automatizada de erros em programas de software entre o Idioma processado pela máquina ideal e o idioma processado pelas Máquinas desenvolvidas / implementadas.
Qualquer referência a trabalhos anteriores que funcionem com algumas noções de exploração de diferenças entre duas Máquinas de Turing especificadas ou barrando que uma Linguagem Formal de nível inferior seria extremamente útil e apreciada; porque eu prefiro citar a escrever :-).