Als «halting-problem» getaggte Fragen

73
Erstellen Sie ein "H" aus kleineren "H"

Herausforderung Erstellen Sie eine Funktion oder ein Programm, das bei Angabe einer Ganzzahl sizeFolgendes ausführt: Wenn sizegleich 1 ist, wird ausgegeben H H HHH H H Wenn sizegrößer als 1, wird ausgegeben X X XXX X X wo Xist die Ausgabe des Programms / der Funktion fürsize - 1 (Wenn Sie es...

43
Hält diese Foo-Maschine an?

Es ist allgemein bekannt, dass die Entscheidung, ob eine Turing-Maschine anhält, unentscheidbar ist. Dies gilt jedoch nicht unbedingt für einfachere Maschinen. Eine Foo-Maschine ist eine Maschine mit einem endlichen Band, bei der jede Zelle auf dem Band eine Ganzzahl oder ein Haltesymbol aufweist...

29
Lösen Sie das Halteproblem für Befinge

Definieren wir eine einfache 2D-Sprache, die den unglaublich ursprünglichen Namen enthält . Befinge hat 5 Anweisungen: <>^vRichten Sie, wie in den meisten 2D-Esolangs, den Befehlszeiger in die entsprechenden Richtungen um. . ist ein No-Op. Der Anweisungszeiger beginnt oben links und geht nach...

20
Ist das eine abgeschnittene Dreieckszahl?

Verwandte OEIS-Sequenz: A008867 Abgeschnittene Dreieckszahl Eine gemeinsame Eigenschaft von Dreieckszahlen ist, dass sie in einem Dreieck angeordnet werden können. Nehmen Sie zum Beispiel 21 und ordnen Sie sie in einem Dreieck aus os an: O oo ooo oooo ooooo oooooo Definieren wir eine "Kürzung", die...

20
Schreiben Sie einen Dolmetscher für *

Die Aufgabe ist einfach. Schreiben Sie einen Dolmetscher für die Sprache * . Hier ist ein größerer Link zum Wiki. Es gibt nur drei gültige * Programme: * Druckt "Hallo Welt"  *  Druckt eine Zufallszahl zwischen 0 und 2.147.483.647 *+* Läuft für immer. Der dritte Fall muss eine Endlosschleife gemäß...

12
Interpreter für Zahlentheorie, Modulo n

Ein Satz der Zahlentheorie (für unsere Zwecke) ist eine Folge der folgenden Symbole: 0und '(Nachfolger) - Nachfolger bedeutet +1also0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(Addition) und *(Multiplikation) = (gleich) (und )(Klammern) der logische Operator nand( a nand bist not (a and b)) forall (der...