Als «pl.programming-languages» getaggte Fragen

8
Gibt es irgendwelche Arbeiten zur Entwicklung der Differenzrechnung von Turingmaschinen (oder einfacheren formalen Sprachen)?

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,...