Kommunikation zwischen OPS5 und anderen Sprachen

Zusammenfassung

Das relationale Modell, das dem OPS5-System zugrunde liegt, ist turingäquivalent. Jedes Programm, das sich für eine Turingmaschine schreiben läßt und damit jedes Programm, das in irgendeiner Programmiersprache geschrieben werden kann, läßt sich auch mit Hilfe des relationalen Modells ausdrücken. Dabei wird bei einer praktischen Realisierung des Modells, etwa in Form einer OPS5-Implementation, davon abgesehen, daß hier der Speicherplatz begrenzt ist, oder daß es nur endlich viele unterscheidbare Bezeichner gibt. Die Eigenschaft der Turingäquivalenz besagt nur, daß prinzipiell alle turingberechenbaren Probleme in endlicher Zeit gelöst werden können. Sie erlaubt keine Aussage darüber, wie effizient das Programm wird bzw. wie aufwendig sich seine Erstellung erweist. (Man bedenke, wie umständlich es ist, ein Turingprogramm zu schreiben.)