turing-complete

Ich weiß ein wenig darüber, was turing-machine und turing-complete Sprache, aber zu verstehen Besser, könnte jemand Beispiele für Sprachen nennen, die nicht vollständig Turing sind? (Vielleicht sogar Maschinen, die nicht Turing sind?)     

Wie argumentieren Sie für die Tatsache, dass Lambda-Kalkül Turing abgeschlossen ist (auf die einfachste Weise möglich)?     

Was ist der Mindestsatz an Primitiven, die benötigt werden, damit eine Sprache Turing-vollständig und eine Lisp-Variante ist? Scheint wie Auto, CDR und einige Flusskontrolle und etwas für REPL ist genug. Es wäre schön, wenn es eine solche Lis...

In jeder Turing-Complete-Sprache ist es möglich, ein funktionierendes zu erstellen Compiler für sich selbst, der zuerst auf einem in einer anderen Sprache geschriebenen Interpreter läuft und dann seinen eigenen Quellcode kompiliert? ( Boots...