Запитання з тегом «halting-problem»

30
Створіть "H" з менших "H" s
Виклик Створіть функцію або програму, яка при заданні цілого числа 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 Покажчик інструкцій починається з вказівки на першу комірку: 2 h …

1
Заплутайте мої спроби вирішити проблему зупинки
Зверніть увагу: за своєю природою специфіка цього виклику важко зрозуміти. Ймовірно, потрібен хоча б першокурсник з теорії обчислень або еквівалентного фонового читання. Крім того, сам виклик досить важкий. Якщо відповісти на це, потрібно буде написати цілком перекладача для якоїсь підмножини на вашу обрану мову, і не тільки це, але і …

11
Вирішіть проблему зупинки для Befinge
Давайте визначимо просту 2D мову, якій ми дамо неймовірно оригінальну назву befinge . Befinge має 5 інструкцій: <>^v, як у більшості 2D езоланг, перенаправляйте вказівник інструкцій у відповідних напрямках. . є неоперативним. Покажчик інструкцій починається у верхньому лівому куті, йдучи праворуч. Якщо вказівник інструкції потрапить на край, програма зупиняється. Кожна …

14
Це усічене трикутне число?
Пов'язана OEIS послідовність: A008867 Урізане трикутне число Загальною властивістю трикутних чисел є те, що вони можуть бути розташовані в трикутнику. Наприклад, візьміть 21 і розташуйте в трикутник os: о оо ооо оооо ooooo oooooo Давайте визначимо "усікання": вирізання трикутників однакового розміру з кожного кута. Один із способів урізання 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 давайте визначимося з іншою двовимірною мовою під назвою Modilar SNISP . Моділар SNISP має наступні шість інструкцій: \ спрямовує покажчик інструкцій наступним чином: якщо підійти зверху, йдіть праворуч; якщо підійти праворуч, підніміться вгору; якщо підійти знизу, йдіть ліворуч; якщо підійти зліва, спуститися вниз. …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.