Pertanyaan yang diberi tag «halting-problem»

Tantangan Buat fungsi atau program yang, ketika diberi bilangan bulat size, melakukan hal berikut: Jika sizesama dengan 1, output H H HHH H H Jika sizelebih besar dari 1, output X X XXX X X di mana Xoutput dari program / fungsi untuksize - 1 (Jika Anda suka, Anda mungkin …

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 

Menentukan apakah mesin Turing berhenti dikenal tidak dapat diputuskan, tetapi itu tidak selalu benar untuk mesin yang lebih sederhana. Sebuah mesin Foo adalah mesin dengan pita yang terbatas, di mana setiap sel dalam rekaman memiliki integer atau simbol berhenti h, misalnya 2 h 1 -1 Penunjuk instruksi dimulai dengan menunjuk …

43 code-golf  halting-problem 

Harap dicatat: Sesuai sifatnya, spesifikasi untuk tantangan ini sulit dipahami. Mungkin memerlukan setidaknya kursus baru dalam teori komputasi, atau membaca latar belakang yang setara. Selain itu, tantangannya sendiri agak sulit. Menjawabnya akan membutuhkan penulisan seluruh juru bahasa untuk beberapa bagian dari bahasa pilihan Anda, dan tidak hanya itu tetapi penerjemah …

31 popularity-contest  quine  halting-problem 

Mari kita mendefinisikan sederhana bahasa 2D, yang kami akan memberikan nama sangat asli befinge . Befinge memiliki 5 instruksi: <>^v, seperti pada kebanyakan esolangs 2D, arahkan pointer instruksi ke arah masing-masing. . adalah no-op. Penunjuk instruksi dimulai di sudut kiri atas ke kanan. Jika penunjuk instruksi mencapai keunggulan, program berhenti. …

29 code-golf  interpreter  halting-problem 

Urutan OEIS terkait: A008867 Nomor segitiga terpotong Properti umum dari bilangan segitiga adalah bahwa angka-angka itu dapat disusun dalam segitiga. Misalnya, ambil 21 dan susun menjadi segitiga os: Hai oo ooo oooo ooooo oooooo Mari kita mendefinisikan "pemotongan": memotong segitiga dengan ukuran yang sama dari setiap sudut. Salah satu cara …

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 

Tugasnya sederhana. Tulis penerjemah untuk bahasa * . Berikut tautan yang lebih besar ke wiki. Hanya ada tiga program * yang valid: * Cetakan "Hello World" * Mencetak angka acak antara 0 dan 2.147.483.647 *+* Berjalan selamanya. Kasing ketiga harus merupakan infinite loop sesuai dengan spesifikasi dalam pertanyaan ini Memasukkan: …

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 

Sebuah kalimat nomor teori (untuk tujuan kita) adalah urutan simbol-simbol berikut: 0dan '(penerus) - penerus artinya +1, jadi0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(penjumlahan) dan *(penggandaan) = (sama dengan) (dan )(tanda kurung) operator logis nand( a nand badalah 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 

Dalam semangat Memecahkan Masalah Pemutusan untuk Befinge , mari kita mendefinisikan bahasa 2D lain yang disebut Modilar SNISP . Modilar SNISP memiliki enam instruksi berikut: \ mengarahkan penunjuk instruksi sebagai berikut: jika didekati dari atas, ke kanan; jika didekati dari kanan, naiklah; jika didekati dari bawah, ke kiri; jika didekati …

10 code-golf  decision-problem  interpreter  halting-problem 

Untuk memecahkan Masalah Pemutusan Anda diberikan deskripsi suatu program, dan harus menentukan apakah program tersebut akan selesai atau tidak. Anda tidak pernah dapat melakukan ini untuk semua program. Namun untuk program-program seperti (dalam brainf *** ): > Ini jelas akan berhenti, dan untuk program-program seperti: +[] Jelas tidak akan. Tantangan …

9 code-challenge  brainfuck  halting-problem