Preguntas etiquetadas con halting-problem

73

Cree una "H" a partir de "H" más pequeñas

Desafío Cree una función o programa que, cuando se le da un número entero size , haga lo siguiente: Si sizees igual a 1, salida H H HHH H H Si sizees mayor que 1, salida X X XXX X X donde Xes la salida del programa / función parasize - 1 (Si lo prefiere, puede hacer que el caso base...

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

43

¿Se detiene esta máquina Foo?

Es bien sabido que determinar si una máquina de Turing se detiene es indecidible, pero eso no es necesariamente cierto para máquinas más simples. Una máquina Foo es una máquina con una cinta finita, donde cada celda de la cinta tiene un número entero o el símbolo de detención h, p. Ej. 2 h 1...

code-golf halting-problem

31

Confundí mis intentos de resolver el problema de detención

Tenga en cuenta: por su naturaleza, las especificaciones para este desafío son difíciles de entender. Probablemente requiere al menos un curso de primer año en teoría de la computabilidad, o una lectura de fondo equivalente. Además, el desafío en sí es bastante difícil. Para contestarla, deberá...

popularity-contest quine halting-problem

29

Resolver el problema de detención de Befinge

Vamos a definir un lenguaje sencillo 2D, que vamos a dar el nombre muy original, befinge . Befinge tiene 5 instrucciones: <>^v, como en la mayoría de los esolangs 2D, redirija el puntero de instrucción en sus respectivas direcciones. . es un no-op. El puntero de instrucciones comienza en...

code-golf interpreter halting-problem

20

¿Es este un número triangular truncado?

Secuencia OEIS relacionada: A008867 Número triangular truncado Una propiedad común de los números triangulares es que se pueden organizar en un triángulo. Por ejemplo, tome 21 y organícelo en un triángulo de os: o oo ooo oooo ooooo oooooo Definamos un "truncamiento:" cortando triángulos...

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

20

Escribe un intérprete para *

La tarea es simple. Escribe un intérprete para el idioma * . Aquí hay un enlace más grande a la wiki. Solo hay tres programas válidos *: * Imprime "Hola mundo" * Imprime un número aleatorio entre 0 y 2,147,483,647 *+* Corre por siempre. El tercer caso debe ser un bucle infinito de acuerdo...

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

12

Intérprete para teoría de números, módulo n

Una oración de teoría de números (para nuestros propósitos) es una secuencia de los siguientes símbolos: 0y '(sucesor) - sucesor significa +1, entonces0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(suma) y *(multiplicación) = (igual a) (y )(paréntesis) el operador lógico nand( a nand bes not (a and b)) forall...

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

10

Resolver el problema de detención para SNISP modular

En el espíritu de Resolver el problema de detención de Befinge , definamos otro lenguaje 2D llamado Modilar SNISP . Modilar SNISP tiene las siguientes seis instrucciones: \ dirige el puntero de instrucciones de la siguiente manera: si te acercas desde la cima, ve a la derecha; si se aproxima...

code-golf decision-problem interpreter halting-problem

9

Resolver parcialmente el problema de detención para brainf ***

Para resolver el problema de detención , se le da una descripción de un programa y debe determinar si terminará o no. Nunca puede hacer esto para todos los programas. Sin embargo, para programas como (en brainf *** ): > Obviamente se detendrá, y para programas como: +[] Obviamente no lo...

code-challenge brainfuck halting-problem