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 undecidability - Ceci est la page 4 - GeneraCodice
Provotant une indécidabilité pour une langue contenant une chaîne avec certaines syntaxes
https://www.generacodice.com/fr/articolo/2468930/provotant-une-indecidabilite-pour-une-langue-contenant-une-chaine-avec-certaines-syntaxes
turing-machines
-
computability
-
undecidability
cs.stackexchange
Is a 'discrete language' well-defined?
https://www.generacodice.com/fr/articolo/2468573/is-a-discrete-language-well-defined
discrete-mathematics
-
formal-languages
-
undecidability
cs.stackexchange
Est $ nhalt $ indécitable même si $ m $ s'arrête en entrée $ W $ en pas fini
https://www.generacodice.com/fr/articolo/2468107/est-nhalt-indecitable-meme-si-m-s-arrete-en-entree-w-en-pas-fini
complexity-theory
-
turing-machines
-
undecidability
cs.stackexchange
Décider si une langue a un mot de taille donnée
https://www.generacodice.com/fr/articolo/2466712/decider-si-une-langue-a-un-mot-de-taille-donnee
computability
-
formal-languages
-
undecidability
cs.stackexchange
Diticulture des machines de Turing qui ne déplacent jamais les têtes au-delà de la chaîne d'entrée
https://www.generacodice.com/fr/articolo/2465509/diticulture-des-machines-de-turing-qui-ne-deplacent-jamais-les-tetes-au-dela-de-la-chaine-d-entree
turing-machines
-
computability
-
undecidability
cs.stackexchange
Diticulture de l'égalité et de la solidité des expressions impliquant des arithmétiques élémentaires et des exponentielles
https://www.generacodice.com/fr/articolo/2465430/diticulture-de-l-egalite-et-de-la-solidite-des-expressions-impliquant-des-arithmetiques-elementaires-et-des-exponentielles
computability
-
equality
-
number-theory
-
undecidability
cs.stackexchange
Halter la théorie des problèmes vs pratique
https://www.generacodice.com/fr/articolo/2464468/halter-la-theorie-des-problemes-vs-pratique
programming-languages
-
computability
-
halting-problem
-
undecidability
cs.stackexchange
About computable sets
https://www.generacodice.com/fr/articolo/2464272/about-computable-sets
turing-machines
-
computability
-
discrete-mathematics
-
undecidability
-
church-turing-thesis
cs.stackexchange
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
Différence entre la grammaire ordinaire et la CFG en générant des historiques de calcul et $ \ sigma ^ * $ $
https://www.generacodice.com/fr/articolo/2459293/difference-entre-la-grammaire-ordinaire-et-la-cfg-en-generant-des-historiques-de-calcul-et-sigma
turing-machines
-
formal-languages
-
formal-grammars
-
undecidability
-
context-free
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 685