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 7 - GeneraCodice
montrent que ce nombre décrivable $ C $ existe
https://www.generacodice.com/fr/articolo/2454714/montrent-que-ce-nombre-decrivable-c-existe
turing-machines
-
computability
-
undecidability
cs.stackexchange
show that in every infinite computably enumerable set, there exists an infinite decidable set
https://www.generacodice.com/fr/articolo/2454574/show-that-in-every-infinite-computably-enumerable-set-there-exists-an-infinite-decidable-set
turing-machines
-
computability
-
undecidability
cs.stackexchange
Pourquoi le théorème de la récursion ne s'avère-t-il pas là-bas est un ensemble fini indécitable?
https://www.generacodice.com/fr/articolo/2453658/pourquoi-le-theoreme-de-la-recursion-ne-s-avere-t-il-pas-la-bas-est-un-ensemble-fini-indecitable
turing-machines
-
computability
-
undecidability
cs.stackexchange
Est-ce correct: une grammaire de type 3 génère ou non \ sigma ^ * * $ n'est pas c.e
https://www.generacodice.com/fr/articolo/2453394/est-ce-correct-une-grammaire-de-type-3-genere-ou-non-sigma-n-est-pas-c-e
formal-languages
-
undecidability
-
regular-languages
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
Comment puis-je appliquer le théorème de Rice?
https://www.generacodice.com/fr/articolo/2448280/comment-puis-je-appliquer-le-theoreme-de-rice
undecidability
-
rice-theorem
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
Prouver que la classe des langues de la CFG fermées sous l'inversion est indéchoire
https://www.generacodice.com/fr/articolo/2446077/prouver-que-la-classe-des-langues-de-la-cfg-fermees-sous-l-inversion-est-indechoire
automata
-
formal-languages
-
undecidability
-
context-free
cs.stackexchange
Un cas particulier de somme sous réserve
https://www.generacodice.com/fr/articolo/2445185/un-cas-particulier-de-somme-sous-reserve
complexity-theory
-
algorithms
-
undecidability
-
decision-problem
cs.stackexchange
Est-il décidé si une machine de Turning donnée se déplace la tête plus de 481 cellules du marqueur de gauche, sur l'entrée ε?
https://www.generacodice.com/fr/articolo/2444820/est-il-decide-si-une-machine-de-turning-donnee-se-deplace-la-tete-plus-de-481-cellules-du-marqueur-de-gauche-sur-l-entree-ε
turing-machines
-
automata
-
undecidability
cs.stackexchange
«
4
5
6
7
8
9
»
Résultats trouvés: 685