Ist es möglich, eine einzelne (nicht Turing-vollständige) mechanische Implementierung von Microsoft Word zu erstellen? Ist es möglich, Dinge wie Iteratoren, Funktionen erster Ordnung und die gesamte Bandbreite der Programmiertechniken zu implementieren? Könnten Zahnräder und andere mechanische Teile Datenstrukturen oder sogar Programmobjekte darstellen? Zu einem bestimmten Zeitpunkt muss eine Allzweck-Turing-äquivalente Maschine gebaut werden, oder kann jede Funktion, Variable usw. ein eigenes mechanisches Konstrukt in Form von Schwungrädern und / oder Zahnrädern, Ratschen haben. Was haben Sie? Zusammenfassend frage ich mich, ob eine bestimmte Software auf einem Standardcomputer zu einer mechanischen Blaupause kompiliert werden kann.
Ich denke, etwas, das Microsoft Word ausführt, muss nicht einmal auf einer Turing-Maschine ausgeführt werden, da bekannt sein sollte, dass alle Prozeduren in Word abgesehen von der Hauptereignisschleife (nachweislich) beendet werden (es sei denn, es liegt ein Fehler von c vor).
—
Realz Slaw
Wenn dies möglich ist - was wahrscheinlich erscheint -, sollte es möglich sein, eine nicht vollständig funktionierende Maschine zu erstellen, die als Compiler fungiert und Blaupausen für andere Maschinen aus dem Quellcode erstellt. Maschinen, die selbst komplett sind oder nicht.
—
Nick Johnson
@ Realz Slaw: Nicht, wenn Sie E / A-, VBA-Makros oder Erweiterungen einschließen. Beispielsweise bezweifle ich, dass Word sich beschweren würde, wenn Sie ein unendliches Word-Dokument einspeisen würden. Es ist wahrscheinlich das zugrunde liegende Betriebssystem, das eine Grenze erreichen würde.
—
Reinierpost
@reinierpost, aber jede Routine muss nicht vollständig sein. sie würden entweder nachweislich kündigen oder nachweislich nicht. Das heißt, wenn Sie ein unendliches Dokument einspeisen, wird es nachweislich nicht beendet. Mein Punkt war , dass die meisten Programme , die wir machen müssen kein Turing komplette Sprache verwenden, weil wir es Programme beschränken können , dass wir beenden nachweisen können, da nicht unendliche Daten und endet nicht , wenn gegeben unendlich Daten; und wenn Sie dies tun können, gibt es kein Problem mit dem Halteproblem. TLDR; Wenn Sie nicht beweisen können, dass Ihre Routinen beendet sind oder nicht, sind Sie ein schrecklicher Programmierer.
—
Realz Slaw