«halting-problem» 태그된 질문

도전 integer가 주어지면 size다음을 수행 하는 함수 또는 프로그램을 작성하십시오 . 경우 size1과 동일 출력 H H HHH H H 경우 size1 출력보다 더 큰 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 

튜링 머신의 정지 여부를 결정하는 것은 결정 불가능한 것으로 알려져 있지만, 더 단순한 머신에서는 반드시 그런 것은 아닙니다. 푸 기계 테이프의 각 셀은 정수 또는 중지 심볼 갖는 유한 테이프있는 컴퓨터 인 h, 예를 2 h 1 -1 명령 포인터는 첫 번째 셀을 가리켜 서 시작합니다. 2 h 1 -1 …

43 code-golf  halting-problem 

참고 : 특성상이 문제에 대한 사양은 이해하기 어렵습니다. 아마도 계산 이론 또는 동등한 배경 읽기에 대한 신입생 과정이 필요합니다. 또한 도전 자체는 다소 어렵습니다. 응답하려면 선택한 언어의 일부 하위 집합에 대해 전체 통역사를 작성해야하며 통역사는 퀴네와 같은 형식이어야합니다. 귀하의 답변이이 모든 것을 수행하지 않는다면 사양을 충족시키지 않는 것이 거의 확실합니다. …

31 popularity-contest  quine  halting-problem 

간단한 2D 언어를 정의 해 봅시다 . 엄청나게 독창적 인 이름 인 befinge를 드리겠습니다 . Befinge에는 5 가지 지침이 있습니다. <>^v대부분의 2D esolang에서와 같이 명령 포인터를 해당 방향으로 리디렉션합니다. . no-op입니다. 명령 포인터는 오른쪽 상단에서 시작합니다. 명령 포인터가 가장자리에 도달하면 프로그램이 중지됩니다. 모든 Befinge 프로그램은 분명히 아무 것도하지 않는 무한 …

29 code-golf  interpreter  halting-problem 

관련 OEIS 시퀀스 : A008867 잘린 삼각형 수 삼각형 숫자의 일반적인 속성은 삼각형으로 배열 할 수 있다는 것입니다. 예를 들어, 21을 취하고 os 의 삼각형으로 정렬하십시오 . 영형 OO ooo oooo 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 

작업은 간단합니다. 언어에 대한 통역사를 작성하십시오 * . 다음은 위키에 대한 더 큰 링크입니다. 유효한 * 프로그램은 세 가지뿐입니다. * "Hello World"인쇄 * 0과 2,147,483,647 사이의 난수를 인쇄합니다 *+* 영원히 실행됩니다. 세 번째 경우는 이 질문 의 사양에 따라 무한 루프 여야합니다 입력: 입력은 표준 I / O 규칙에 따라 …

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 

숫자 이론 (우리의 목적을 위해) 의 문장 은 다음과 같은 일련의 기호입니다. 0그리고 '(후임자)-후속 수단 +1, 그래서0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(더하기)와 *(곱하기) = (동일) (그리고 )(괄호) 논리 연산자 nand( a nand bis not (a and b)) forall (범용 정량 자) v0, …

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에 대한 중단 문제를 해결 ,의라는 또 다른 차원의 언어로 정의 할 수 Modilar SNISP을 . Modilar SNISP에는 다음 6 가지 지침이 있습니다. \ 다음과 같이 명령 포인터를 지시합니다. 맨 위에서 접근하면 오른쪽으로 이동하십시오. 오른쪽에서 접근하면 위로 올라가십시오. 바닥에서 접근하면 왼쪽으로 이동하십시오. 왼쪽에서 접근하면 내려갑니다. / 다음과 같이 …

10 code-golf  decision-problem  interpreter  halting-problem