Вопросы с тегом «halting-problem»

73

Вызов Создайте функцию или программу, которая при задании целого числа sizeвыполняет следующие действия: Если sizeравно 1, выведите H H HHH H H Если sizeбольше 1, выведите X X XXX X X где Xвывод программы / функции дляsize - 1 (Если вы предпочитаете, базовый случай может соответствовать 0, если вы...

code-golf ascii-art fractal code-golf code-golf string code-golf string matrix code-golf graph-theory maze binary-matrix code-golf kolmogorov-complexity random code-challenge metagolf test-battery brain-flak text-processing code-golf matrix code-golf number-theory primes code-golf string matrix code-golf binary bitwise code-golf number factorial floating-point code-golf number sequence code-golf sequence cops-and-robbers code-golf sequence cops-and-robbers code-golf string code-golf math decision-problem number-theory integer code-golf number decision-problem functional-programming code-golf array-manipulation matrix code-golf string classification string code-challenge binary compression decode code-golf string string code-challenge balanced-string encode code-golf number-theory integer base-conversion code-golf math number-theory geometry abstract-algebra code-golf array-manipulation sorting optimization code-golf math geometry image-processing generation code-golf string cops-and-robbers repeated-transformation grammars cops-and-robbers repeated-transformation grammars code-challenge restricted-source tips source-layout javascript code-challenge kolmogorov-complexity restricted-source code-golf combinatorics counting math fastest-code linear-algebra code-golf math permutations matrix linear-algebra code-golf string decision-problem restricted-source code-golf number array-manipulation subsequence code-golf number array-manipulation matrix code-golf brainfuck code-golf color code-golf quine source-layout code-golf subsequence code-golf string ascii-art code-golf string ascii-art alphabet code-golf decision-problem interpreter hexagonal-grid halting-problem code-golf string polynomials calculus code-golf math decision-problem matrix complex-numbers code-golf random code-golf number arithmetic

43

Эта машина Foo останавливается?

Как известно, определение того, останавливается ли машина Тьюринга, неразрешимо, но это не обязательно верно для более простых машин. Foo машина представляет собой машину с конечной лентой, где каждая ячейка на ленте имеет целое число или символ HALT h, например , 2 h 1 -1 Указатель инструкции...

code-golf halting-problem

31

Смути мои попытки решить проблему остановки

Пожалуйста, обратите внимание: по своей природе спецификации для этой задачи трудно понять. Это, вероятно, требует, по крайней мере, курса новичка в теории вычислимости или эквивалентного базового чтения. Кроме того, сама задача довольно сложная. Ответ на него потребует написания полного...

popularity-contest quine halting-problem

29

Решить проблему остановки для Befinge

Давайте определим простой 2D-язык, который мы дадим невероятно оригинальному названию befinge . У Бефинге есть 5 инструкций: <>^v, как и в большинстве двумерных esolangs, перенаправьте указатель инструкции в их соответствующих направлениях. . это неоперация. Указатель инструкций начинается в...

code-golf interpreter halting-problem

20

Это усеченное треугольное число?

Связанная последовательность OEIS: A008867 Усеченное треугольное число Общим свойством треугольных чисел является то, что они могут быть расположены в виде треугольника. Например, возьмите 21 и расположите в треугольник os: о оо ооо оооо ооооо оооооо Давайте определим «усечение»: разрезание...

code-golf math decision-problem number-theory integer code-golf number decision-problem functional-programming code-golf array-manipulation matrix code-golf string classification string code-challenge binary compression decode code-golf string string code-challenge balanced-string encode code-golf number-theory integer base-conversion code-golf math number-theory geometry abstract-algebra code-golf array-manipulation sorting optimization code-golf math geometry image-processing generation code-golf string cops-and-robbers repeated-transformation grammars cops-and-robbers repeated-transformation grammars code-challenge restricted-source tips source-layout javascript code-challenge kolmogorov-complexity restricted-source code-golf combinatorics counting math fastest-code linear-algebra code-golf math permutations matrix linear-algebra code-golf string decision-problem restricted-source code-golf number array-manipulation subsequence code-golf number array-manipulation matrix code-golf brainfuck code-golf color code-golf quine source-layout code-golf subsequence code-golf string ascii-art code-golf string ascii-art alphabet code-golf decision-problem interpreter hexagonal-grid halting-problem code-golf string polynomials calculus code-golf math decision-problem matrix complex-numbers code-golf random code-golf number arithmetic

20

Написать переводчика для *

Задача проста. Написать переводчика для языка * . Вот большая ссылка на вики. Есть только три действительные * программы: * Принты "Hello World" * Печатает случайное число от 0 до 2 147 483 647 *+* Работает вечно. Третий случай должен быть бесконечным циклом согласно спецификациям в этом вопросе...

code-golf interpreter code-golf array-manipulation sorting code-golf halting-problem code-golf javascript code-golf algorithm code-golf arithmetic code-golf math counting code-golf math code-golf decision-problem radiation-hardening code-golf conversion bitwise code-golf number decision-problem code-golf string decision-problem code-golf random game code-golf ascii-art graphical-output code-golf decision-problem binary-tree tree-traversal code-challenge array-manipulation code-challenge graphical-output path-finding test-battery algorithm code-golf integer factorial code-golf binary-tree code-golf grid graph-theory code-golf regular-expression quine code-golf encoding code-golf king-of-the-hill javascript

12

Интерпретатор теории чисел, по модулю n

Предложение из теории чисел (для наших целей) представляет собой последовательность следующих символов: 0и '(преемник) - значит преемник +1, так0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(сложение) и *(умножение) = (равно) (и )(скобки) логический оператор nand( a nand bесть not (a and b)) forall (универсальный...

code-golf number-theory parsing code-golf kolmogorov-complexity code-golf code-golf array-manipulation matrix code-golf array-manipulation code-golf string code-challenge graphical-output compression code-golf kolmogorov-complexity code-golf sequence array-manipulation code-golf number base-conversion code-golf string decision-problem code-golf string ascii-art code-golf string random code-challenge brainfuck code-generation code-golf code-golf quine code-golf interpreter code-golf interpreter code-golf array-manipulation sorting code-golf halting-problem code-golf javascript code-golf algorithm code-golf arithmetic code-golf math counting code-golf math code-golf decision-problem radiation-hardening code-golf conversion bitwise code-golf number decision-problem code-golf string decision-problem code-golf random game code-golf ascii-art graphical-output code-golf decision-problem binary-tree tree-traversal code-challenge array-manipulation code-challenge graphical-output path-finding test-battery algorithm code-golf integer factorial code-golf binary-tree code-golf grid graph-theory code-golf regular-expression quine code-golf encoding code-golf king-of-the-hill javascript

10

Решить проблему остановки для модульного SNISP

В духе Решить проблему остановки для Befinge , давайте определим еще один 2D-язык под названием Modilar SNISP . Modilar SNISP имеет следующие шесть инструкций: \ направляет указатель инструкции следующим образом: если приблизиться сверху, идите направо; если приблизиться справа, поднимитесь; если...

code-golf decision-problem interpreter halting-problem