Ich versuche, einige Begriffe einer Differenzrechnung zwischen einer von einem Entwickler konzipierten fiktiven Ideal Turing-Maschine (z. B. was auch immer von einem Softwareentwickler beabsichtigt ist), und den Maschinen zu entwickeln, die die Software darstellen, die tatsächlich entworfen wird, und implementiert, sagen wir M α bzw. M β .
Insbesondere ist es mein Interesse, Einschränkungen (zum Beispiel aufgrund des Satzes von Rice) bei der automatisierten Erkennung von Fehlern in Softwareprogrammen zwischen der von der idealen Maschine verarbeiteten Sprache und der von den entwickelten / implementierten Maschinen verarbeiteten Sprache zu untersuchen.
Jegliche Bezugnahme auf frühere Arbeiten, die mit einigen Vorstellungen von der Untersuchung von Unterschieden zwischen zwei spezifizierten Turing-Maschinen arbeiten, oder der Hinweis, dass eine niedrigere formale Sprache äußerst hilfreich und geschätzt wäre; weil ich lieber zitieren als schreiben möchte :-).