«halting-problem» etiketlenmiş sorular

Meydan okuma Bir tamsayı verildiğinde sizeaşağıdakileri yapan bir işlev veya program oluşturun : Eğer size1 'e eşit olduğu, çıkış H H HHH H H Eğer size1, çıktı daha büyüktür X X XXX X X Xprogramın / fonksiyonun çıktısı neredesize - 1 (İsterseniz 0, cevabınızı belirttiğiniz sürece , temel davaya karşılık …

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 

Bir Turing makinesinin durup durmadığının belirlenmesi iyi anlaşılamaz olarak bilinmektedir, ancak bu daha basit makineler için mutlaka doğru değildir. Bir Foo makinesi banda her hücre bir tam sayıyı ya da durdurmak sembolü sonlu bant ile bir makine olup h, örneğin 2 h 1 -1 Komut işaretçisi ilk hücreye işaret ederek …

43 code-golf  halting-problem 

Lütfen dikkat: Doğası gereği, bu zorluk için spec anlamak zordur. Muhtemelen, hesaplanabilirlik teorisinde en azından birinci sınıf bir ders ya da eşdeğer bir arka plan okuması gerektirir. Ek olarak, mücadelenin kendisi oldukça zordur. Cevaplamak, seçtiğiniz dil altkümesinin tamamı için bütün bir tercüman yazmasını gerektirecek ve sadece bu değil, aynı zamanda …

31 popularity-contest  quine  halting-problem 

İnanılmaz derecede orijinal ismini befinge verecek olan basit bir 2D dili tanımlayalım . Befinge'da 5 talimat var: <>^v, çoğu 2B izolanjında ​​olduğu gibi, talimat işaretçisini ilgili yönlerine yönlendirin. . bir ameliyat değildir. Talimat işaretçisi, sol üst köşede sağa doğru ilerleyerek başlar. Kumanda göstergesi bir kenara gelirse, program durur. Her Befinge …

29 code-golf  interpreter  halting-problem 

İlgili OEIS dizisi: A008867 Kesilmiş üçgen sayı Üçgen sayıların ortak bir özelliği, üçgen şeklinde düzenlenebilmeleridir. Örneğin, 21'i alın ve bir üçgen şeklinde düzenleyin o: Ö oo ooo oooo ooooo oooooo Her köşeden aynı boyutta bir "kesme:" kesme üçgenleri tanımlayalım. 21'i kısaltmanın bir yolu şöyledir: . . . ooo oooo . …

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 

Görev basit. Dil için bir tercüman yazın * . İşte wiki'ye daha büyük bir bağlantı. Yalnızca üç geçerli * program vardır: * "Merhaba Dünya" * 0 ile 2.147.483.647 arasında rastgele bir sayı yazdırır *+* Sonsuza kadar çalışır. Üçüncü durum, bu sorudaki spesifikasyonlara göre sonsuz bir döngü olmalıdır Giriş: Giriş, standart …

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 

Sayı teorisinin bir cümlesi (bizim için) aşağıdaki sembollerin bir dizisidir: 0ve '(halef) - halef +1,0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(toplama) ve *(çarpma) = (eşittir) (ve )(parantez) mantıksal işleç nand( a nand bis not (a and b)) forall (evrensel nicelik belirteci) v0, v1, …

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 

Befinge için Durma Problemini Çöz ruhuyla, Modilar SNISP adlı başka bir 2D dil tanımlayalım . Modilar SNISP aşağıdaki altı talimatı içerir: \ yönerge işaretçisini aşağıdaki gibi yönlendirir: yukarıdan yaklaşılırsa, sağa gidin; sağdan yaklaşılırsa yukarı çıkın; alttan yaklaşılırsa sola gidin; soldan yaklaşırsa aşağı in. / yönerge işaretçisini aşağıdaki gibi yönlendirir: yukarıdan …

10 code-golf  decision-problem  interpreter  halting-problem