Perguntas com a marcação «halting-problem»

73

Crie um "H" a partir de "H" s menores

Desafio Crie uma função ou programa que, quando fornecido um número inteiro size, faça o seguinte: Se sizefor igual a 1, a saída H H HHH H H Se sizefor maior que 1, a saída X X XXX X X onde Xé a saída do programa / função parasize - 1 (Se preferir, você pode corresponder ao caso base 0,...

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

Esta máquina Foo pára?

Sabe-se que determinar se uma máquina de Turing pára é indecidível, mas isso não é necessariamente verdade para máquinas mais simples. Uma máquina Foo é uma máquina com fita finita, em que cada célula da fita possui um número inteiro ou o símbolo de parada h, por exemplo 2 h 1 -1 O ponteiro de...

code-golf halting-problem

31

Confundir minhas tentativas de resolver o problema da parada

Observe: por sua natureza, as especificações para este desafio são difíceis de entender. Provavelmente requer pelo menos um curso de calouro em teoria da computabilidade ou leitura equivalente em segundo plano. Além disso, o desafio em si é bastante difícil. Para respondê-lo, será necessário...

popularity-contest quine halting-problem

29

Resolver o problema de parada de Befinge

Vamos definir uma linguagem simples 2D, o que nós vamos dar o nome incrivelmente originais befinge . Befinge tem 5 instruções: <>^v, como na maioria dos idiomas 2D, redirecione o ponteiro de instruções nas respectivas direções. . é um não-op. O ponteiro de instruções começa no canto...

code-golf interpreter halting-problem

20

Este é um número triangular truncado?

Sequência OEIS relacionada: A008867 Número triangular truncado Uma propriedade comum dos números triangulares é que eles podem ser organizados em um triângulo. Por exemplo, pegue 21 e organize em um triângulo de os: o oo ooo oooo ooooo oooooo Vamos definir um "truncamento:" cortando...

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

Escreva um intérprete para *

A tarefa é simples. Escreva um intérprete para o idioma * . Aqui está um link maior para o wiki. Existem apenas três programas * válidos: * Imprime "Olá, mundo" * Imprime um número aleatório entre 0 e 2.147.483.647 *+* Corre para sempre. O terceiro caso deve ser um loop infinito de acordo...

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 teoria dos números, módulo n

Uma frase da teoria dos números (para nossos propósitos) é uma sequência dos seguintes símbolos: 0e '(sucessor) - sucessor significa +1, então0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(adição) e *(multiplicação) = (igual a) (e )(parênteses) o operador lógico nand( a nand bé not (a and b)) forall (o...

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 o problema de parada do SNISP Modilar

No espírito de resolver o problema de parada para Befinge , vamos definir outra linguagem 2D chamada Modilar SNISP . O SNISP Modilar tem as seguintes seis instruções: \ direciona o ponteiro da instrução da seguinte maneira: se abordado de cima, vá para a direita; se for abordado da direita,...

code-golf decision-problem interpreter halting-problem

9

Resolva parcialmente o problema de parada do brainf ***

Para resolver o problema da parada, você recebe uma descrição de um programa e deve determinar se ele terminará ou não. Você nunca pode fazer isso em todos os programas. No entanto, para programas como (no brainf *** ): > Obviamente, ele será interrompido e para programas...

code-challenge brainfuck halting-problem