Als «turing-completeness» getaggte Fragen

9
Warum sind einige Programmiersprachen vollständig, aber es fehlen einige Fähigkeiten anderer Sprachen?
Beim Schreiben eines Interpreters, der sich an externe Programme / Funktionen anhängt (anhängen sollte), ist ein merkwürdiges Problem aufgetreten: Funktionen in 'C' und 'C ++' können keine unterschiedlichen Funktionen anhängen , z. B. kann ich keine Funktion erstellen , die 'printf' aufruft. mit genau den gleichen Argumenten, die es bekam, …
9
Ist C tatsächlich vollständig?
Ich habe versucht, jemandem zu erklären, dass C Turing-vollständig ist, und habe festgestellt, dass ich eigentlich nicht weiß, ob es tatsächlich technisch Turing-vollständig ist. (C wie in der abstrakten Semantik, nicht wie in einer tatsächlichen Implementierung.) Die "offensichtliche" Antwort (ungefähr: Sie kann eine beliebige Menge an Speicher adressieren, so dass …
5
Was bedeutet es, Turing vollständig zu sein?
Ich sehe, dass die meisten Definitionen dessen, was es heißt, vollständig zu sein, bis zu einem gewissen Grad tautologisch sind. Zum Beispiel, wenn Sie Google "Was bedeutet es, Turing vollständig zu sein", erhalten Sie: Ein Computer ist vollständig, wenn er ein Problem lösen kann, das eine Turing-Maschine ... Obwohl es …
1
Reicht eine Do-While-Schleife für die Turing-Vollständigkeit aus?
Ich weiß, dass in imperativen Programmiersprachen eine while-do-Schleife als Kontrollflusskonstrukt ausreicht, um die Sprache Turing-complete zu machen (was den Kontrollfluss betrifft - natürlich brauchen wir auch unbegrenzten Speicher und bestimmte Operatoren ...) . Der Kern meiner Frage lautet: Hat eine do-while-Schleife die gleiche Rechenleistung wie eine while-do-Schleife? Mit anderen Worten, …
5
Warum sind funktionale Sprachen vollständig?
Vielleicht ist mein begrenztes Verständnis des Themas falsch, aber das ist, was ich bis jetzt verstehe: Die funktionale Programmierung basiert auf Lambda-Kalkül, das von Alonzo Church formuliert wurde. Die imperative Programmierung basiert auf dem Turing-Maschinenmodell, das von Alan Turing, dem Studenten der Kirche, erstellt wurde. Lambda-Kalkül ist so leistungsfähig und …
2
Verbindung zwischen NAND-Gattern und Turing-Vollständigkeit
Ich weiß, dass NAND-Gatter verwendet werden können, um Schaltkreise zu erstellen, die jede Wahrheitstabelle implementieren, und moderne Computer bestehen aus NAND-Gattern. Was ist der theoretische Zusammenhang zwischen NAND-Gattern und Turing-Vollständigkeit? Es scheint mir, dass NAND-Gatterschaltungen näher an endlichen Automaten liegen als Turing-Maschinen. Meine Intuition ist, dass ich Flip-Flops und damit …
1
Gibt es ein vollständiges Problem für die Klasse der entscheidbaren Probleme?
Sprachen wie sind mit vielen Reduzierungen. Es ist trivial zu sehen, dass auch vollständige Probleme hat. S. Schmitz [1] betrachtet einige Klassen zwischen und . Sie stellen für diese Klassen vollständige Probleme unter speziell gestalteten Reduzierungen.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Gibt es vollständige Probleme für (auch bekannt als ) im Vergleich zu schwächeren Reduktionen? …
2
Bieten Funktionen höherer Ordnung der funktionalen Programmierung mehr Leistung?
Ich habe eine ähnliche Frage zu cstheory.SE gestellt . Laut dieser Antwort auf Stackoverflow gibt es einen Algorithmus, der auf einer nicht faulen reinen funktionalen Programmiersprache eine -Komplexität aufweist, während derselbe Algorithmus in der imperativen Programmierung . Das Hinzufügen von Faulheit zur FP-Sprache würde den Algorithmus zu .Ω ( n …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.