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

30
Создайте «H» из меньших «H»
Вызов Создайте функцию или программу, которая при задании целого числа sizeвыполняет следующие действия: Если sizeравно 1, выведите H H HHH H H Если sizeбольше 1, выведите X X XXX X X где Xвывод программы / функции дляsize - 1 (Если вы предпочитаете, базовый случай может соответствовать 0, если вы укажете …
73 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 

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

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

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

14
Это усеченное треугольное число?
Связанная последовательность OEIS: A008867 Усеченное треугольное число Общим свойством треугольных чисел является то, что они могут быть расположены в виде треугольника. Например, возьмите 21 и расположите в треугольник os: о оо ооо оооо ооооо оооооо Давайте определим «усечение»: разрезание треугольников одинакового размера с каждого угла. Один из способов усечь 21 …
20 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 

27
Написать переводчика для *
Задача проста. Написать переводчика для языка * . Вот большая ссылка на вики. Есть только три действительные * программы: * Принты "Hello World" * Печатает случайное число от 0 до 2 147 483 647 *+* Работает вечно. Третий случай должен быть бесконечным циклом согласно спецификациям в этом вопросе Входные данные: …
20 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 

2
Интерпретатор теории чисел, по модулю n
Предложение из теории чисел (для наших целей) представляет собой последовательность следующих символов: 0и '(преемник) - значит преемник +1, так0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(сложение) и *(умножение) = (равно) (и )(скобки) логический оператор nand( a nand bесть not (a and b)) forall (универсальный …
12 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 

2
Решить проблему остановки для модульного SNISP
В духе Решить проблему остановки для Befinge , давайте определим еще один 2D-язык под названием Modilar SNISP . Modilar SNISP имеет следующие шесть инструкций: \ направляет указатель инструкции следующим образом: если приблизиться сверху, идите направо; если приблизиться справа, поднимитесь; если приблизиться снизу, идите налево; если подходить слева, спуститься вниз. / …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.