Suchergebnisse für Anfrage "turing-complete"
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 ...
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 ...
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 ...
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 ...
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 ...
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 @ ...