Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag halting-problem - Ceci est la page 5 - GeneraCodice
Comment pouvez-vous "résoudre" le problème d'arrêt si, hypothétiquement, les numéros de castor occupés étaient "petits"?
https://www.generacodice.com/fr/articolo/2462542/comment-pouvez-vous-resoudre-le-probleme-d-arret-si-hypothetiquement-les-numeros-de-castor-occupes-etaient-petits
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
Turing Machines: une machine peut-elle écrire sur un nombre fini de cellules de mémoire, mais pas arrêter?
https://www.generacodice.com/fr/articolo/2461480/turing-machines-une-machine-peut-elle-ecrire-sur-un-nombre-fini-de-cellules-de-memoire-mais-pas-arreter
turing-machines
-
halting-problem
-
reductions
cs.stackexchange
Construire une machine de Turing qui décide si une TM fixe s'arrêtera sur une entrée fixe ou non
https://www.generacodice.com/fr/articolo/2458076/construire-une-machine-de-turing-qui-decide-si-une-tm-fixe-s-arretera-sur-une-entree-fixe-ou-non
turing-machines
-
computability
-
halting-problem
cs.stackexchange
Problème d'arrêt pour la machine à turir fixe et une entrée fixe
https://www.generacodice.com/fr/articolo/2457906/probleme-d-arret-pour-la-machine-a-turir-fixe-et-une-entree-fixe
turing-machines
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
Aide à la recherche d'une faille dans l'argumentation simulant de grandes machines de Turing avec des plus petites
https://www.generacodice.com/fr/articolo/2455433/aide-a-la-recherche-d-une-faille-dans-l-argumentation-simulant-de-grandes-machines-de-turing-avec-des-plus-petites
turing-machines
-
halting-problem
cs.stackexchange
Pouvons-nous trouver une machine de Turing de telle qu'il n'ya pas de machine de Turing pour décider si elle s'arrête sur $ \ epsilon $?
https://www.generacodice.com/fr/articolo/2450004/pouvons-nous-trouver-une-machine-de-turing-de-telle-qu-il-n-ya-pas-de-machine-de-turing-pour-decider-si-elle-s-arrete-sur-epsilon
turing-machines
-
halting-problem
cs.stackexchange
Union of halting-like problem and non-halting-like problem
https://www.generacodice.com/fr/articolo/2448797/union-of-halting-like-problem-and-non-halting-like-problem
halting-problem
-
formal-languages
-
undecidability
-
semi-decidability
cs.stackexchange
La langue vide l= ∅ un sous-ensemble de toutes langues?
https://www.generacodice.com/fr/articolo/2446142/la-langue-vide-l-un-sous-ensemble-de-toutes-langues
halting-problem
-
undecidability
cs.stackexchange
Vérifie si la longueur d'un programme C pouvant générer une chaîne est inférieure à un nombre donné enrichible?
https://www.generacodice.com/fr/articolo/2443763/verifie-si-la-longueur-d-un-programme-c-pouvant-generer-une-chaine-est-inferieure-a-un-nombre-donne-enrichible
computability
-
halting-problem
-
undecidability
cs.stackexchange
Turing recognizable but not Turing decidable language cannot have TM do not halt on infinitely many inputs
https://www.generacodice.com/fr/articolo/1809104/turing-recognizable-but-not-turing-decidable-language-cannot-have-tm-do-not-halt-on-infinitely-many-inputs
turing-machines
-
automata
-
halting-problem
-
formal-languages
-
undecidability
cs.stackexchange
«
2
3
4
5
6
7
»
Résultats trouvés: 342