Suchergebnisse für Anfrage "turing-complete"

12 die antwort

Ich habe gehört, dass LaTeX vollständig ist. Gibt es Programme, die in LaTeX geschrieben wurden?

Es ist möglich, interessante Dinge mit dem zu tun, was man normalerweise als Schriftsprachen bezeichnen würde. Sie können zum Beispiel die Mandelbrot-Menge @ konstruiere using postscript [http://warp.povusers.org/MandScripts/ps.html]. Es wird ...

14 die antwort

Ist die bedingte Verzweigung ein Erfordernis der Turing-Vollständigkeit?

Ich habe im Internet gesucht und finde etwas widersprüchliche Antworten. Einige Quellen behaupten, dass eine Sprache / Maschine / was-hast-du ist Turing vollständig, wenn und nur wenn es hatbeid Bedingte und bedingungslose Verzweigung (was ...

10 die antwort

Really minimum lisp

Was ist die Mindestmenge an Primitiven, die erforderlich ist, damit eine Sprache Turing vollständig und eine Lisp-Variante ist? Scheint wie Auto, CDR und etwas Flusskontrolle und etwas für REPL ist genug. Es wäre schön, wenn es eine solche Liste ...

TOP-Veröffentlichungen

4 die antwort

Das Typensystem in Scala ist Turing vollständig. Beweis? Beispiel? Leistungen

Es gibt Behauptungen, dass das Typensystem von Scala vollständig ist. Meine Fragen sind: Gibt es einen formellen Beweis dafür? Wie würde eine einfache Berechnung im Scala-Typsystem aussehen? Ist das für Scala von Nutzen - die Sprache? Ist ...

10 die antwort

Warum kann Conways Spiel des Lebens als Universalmaschine eingestuft werden?

Ich habe kürzlich über künstliches Leben gelesen und bin auf die Aussage gestoßen, "Conways Spiel des Lebens zeigt genug Komplexität, um als Universalmaschine eingestuft zu werden." [http://www.alesdar.org/oldSite/IS/chap3-9.html] Ich hatte nur ...

1 die antwort

Ist die C # 4.0-Kompilierung abgeschlossen?

16 die antwort

Praktische Sprachen, die nicht vollständig sind?

ahezu alle verwendeten Programmiersprachen sindTuring Complete [http://en.wikipedia.org/wiki/Turing_Complete], und während dies die Sprache bietet, um jedes @ ...