Ich habe neulich nachgedacht, und mir ist aufgefallen, dass Computerprogramme alle als Diagramm (z. B. ein abstrakter Syntaxbaum) oder, sobald gemeinsame Ausdrücke kombiniert sind, als abstraktes Syntaxdiagramm darstellbar zu sein scheinen.
Mir ist aufgefallen, dass vielleicht jedes Computerprogramm als eines dieser Diagramme + Bewertungssemantik dargestellt werden kann. Ich bin neugierig, ob jemand weiß, ob dies für eine Turingmaschine allgemein gilt (ich gehe davon aus, dass Sie einen potenziell unendlichen Graphen erhalten können, aber dies ist Mathematik, also ist das in Ordnung). Ich habe darüber nachgedacht und viele Dinge wie starke Typsysteme und solche passen gut in diese Abstraktion (sie legen dem Graphen strukturelle Einschränkungen auf). Möglicherweise können Sie das Typsystem sogar als eigenes Programm betrachten und es als eine andere Grafik + Bewertungssemantik darstellen, die auf der Programmgrafik ausgeführt wird ...
Nur neugierig, ob dies eine bekannte Äquivalenz ist oder nicht.