Questions marquées «halting-problem»

73

Défi Créez une fonction ou un programme qui, lorsqu'un entier est attribué size, effectue les opérations suivantes: Si sizeest égal à 1, sortie H H HHH H H Si sizeest supérieur à 1, sortie X X XXX X X où Xest la sortie du programme / fonction poursize - 1 (Si vous préférez, vous pouvez faire...

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

Est-ce que cette machine Foo s'arrête?

Il est notoire que déterminer si une machine de Turing s'arrête est indécidable, mais ce n'est pas nécessairement le cas pour les machines plus simples. Une machine Foo est une machine avec une bande finie, où chaque cellule de la bande a un entier ou le symbole d’arrêt h, par exemple: 2 h 1 -1 Le...

code-golf halting-problem

31

Confondre mes tentatives pour résoudre le problème de l'arrêt

Veuillez noter: De par sa nature, les spécifications de ce défi sont difficiles à comprendre. Cela nécessite probablement au moins un cours de première année en théorie de la calculabilité, ou une lecture de fond équivalente. De plus, le défi lui-même est plutôt difficile. Pour y répondre, il...

popularity-contest quine halting-problem

29

Résoudre le problème de l'arrêt pour Befinge

Définissons un langage simple 2D, que nous allons donner le nom d' origine incroyablement befinge . Befinge a 5 instructions: <>^v, comme dans la plupart des esolangs 2D, redirigez le pointeur d'instruction dans leurs directions respectives. . est un no-op. Le pointeur d'instructions commence...

code-golf interpreter halting-problem

20

S'agit-il d'un nombre triangulaire tronqué?

Séquence OEIS associée: A008867 Nombre triangulaire tronqué Une propriété commune des nombres triangulaires est qu'ils peuvent être disposés en triangle. Par exemple, prenez 21 et disposez-les dans un triangle de os: o oo ooo oooo ooooo oooooo Définissons une "troncature:" coupant des triangles de...

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

Écrivez un interprète pour *

La tâche est simple. Écrivez un interprète pour la langue * . Voici un plus gros lien vers le wiki. Il n'y a que trois programmes * valides: * Imprime "Bonjour tout le monde" * Imprime un nombre aléatoire compris entre 0 et 2 147 483 647 *+* Fonctionne pour toujours. Le troisième cas doit être...

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

Interprète pour la théorie des nombres, modulo n

Une phrase de la théorie des nombres (pour nos besoins) est une séquence des symboles suivants: 0et '(successeur) - successeur signifie +1, donc0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(addition) et *(multiplication) = (égal à) (et )(parenthèses) l'opérateur logique nand( a nand best 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

Résoudre le problème d'arrêt pour Modilar SNISP

Dans l'esprit de Solve the Halting Problem for Befinge , définissons un autre langage 2D appelé Modilar SNISP . Modilar SNISP contient les six instructions suivantes: \ dirige le pointeur d'instruction comme suit: si approché par le haut, allez à droite; si approché par la droite, montez; si...

code-golf decision-problem interpreter halting-problem