Pytania oznaczone «halting-problem»

73
Utwórz „H” z mniejszych „H”

Wyzwanie Utwórz funkcję lub program, który po otrzymaniu liczby całkowitej sizewykonuje następujące czynności: Jeśli sizejest równe 1, wyjście H H HHH H H Jeśli sizejest większy niż 1, wyjście X X XXX X X gdzie Xjest wyjściem programu / funkcji dlasize - 1 (Jeśli wolisz, możesz dopasować...

43
Czy ta maszyna Foo zatrzymuje się?

Ustalenie, czy maszyna Turinga zatrzymuje się, jest dobrze znane jako nierozstrzygalne, ale niekoniecznie dotyczy to prostszych maszyn. Urządzenie Foo jest maszyną o skończonej taśmy, w którym każda komórka na taśmie ma całkowitą lub symbol, powstrzymanie h, np 2 h 1 -1 Wskaźnik instrukcji...

29
Rozwiąż problem zatrzymania dla Befinge

Zdefiniujmy prosty język 2D, któremu nadamy niezwykle oryginalną nazwę befinge . Befinge ma 5 instrukcji: <>^v, jak w większości esolangów 2D, przekieruj wskaźnik instrukcji w odpowiednich kierunkach. . jest zakazem. Wskaźnik instrukcji zaczyna się w lewym górnym rogu, po prawej stronie....

20
Czy to jest ścięta liczba trójkątna?

Powiązana sekwencja OEIS: A008867 Skrócona liczba trójkątna Wspólną właściwością liczb trójkątnych jest to, że można je ułożyć w trójkąt. Na przykład weź 21 i ułóż w trójkąt os: o oo ooo oooo ooooo oooooo Zdefiniujmy „obcinanie:” wycinanie trójkątów o tym samym rozmiarze z każdego rogu....

20
Napisz tłumacza dla *

Zadanie jest proste. Napisz tłumacza języka * . Oto większy link do wiki. Istnieją tylko trzy prawidłowe * programy: * Drukuje „Hello World”  *  Drukuje liczbę losową z przedziału od 0 do 2 147 483 647 *+* Działa wiecznie. Trzeci przypadek musi być nieskończoną pętlą zgodnie ze specyfikacjami...

12
Interpreter teorii liczb, moduł n

Zdanie teoretycznej ± (naszych celów) jest sekwencją następującymi symbolami: 0i '(następca) - następca oznacza +1, więc0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(dodawanie) i *(mnożenie) = (równy) (i )(nawiasy) operator logiczny nand( a nand bjest not (a and b)) forall (uniwersalny kwantyfikator) v0, v1,...