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 65 - GeneraCodice
problème de la décision et de l'algorithme
https://www.generacodice.com/fr/articolo/1112152/probleme-de-la-decision-et-de-l-algorithme
turing-machines
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
Est la fonction indécidable $ UC $ bien défini pour prouver l'indécidabilité du problème Stopper?
https://www.generacodice.com/fr/articolo/1112149/est-la-fonction-indecidable-uc-bien-defini-pour-prouver-l-indecidabilite-du-probleme-stopper
computability
-
halting-problem
-
undecidability
-
proof-techniques
cs.stackexchange
L'intersection de deux langues régulières régulière?
https://www.generacodice.com/fr/articolo/1111464/l-intersection-de-deux-langues-regulieres-reguliere
undecidability
-
regular-languages
-
decision-problem
cs.stackexchange
Indécidabilité de la langue suivante
https://www.generacodice.com/fr/articolo/1111014/indecidabilite-de-la-langue-suivante
turing-machines
-
undecidability
cs.stackexchange
Résolubilité des machines de Turing
https://www.generacodice.com/fr/articolo/1110921/resolubilite-des-machines-de-turing
turing-machines
-
undecidability
cs.stackexchange
Affichage la fonction =? est impossible
https://www.generacodice.com/fr/articolo/1110090/affichage-la-fonction-est-impossible
lambda-calculus
-
halting-problem
-
undecidability
cs.stackexchange
Comment puis-je montrer que si un PDA accepte une chaîne de caractères $ \ {w! W \ mid w \ in \ {0, 1 \} ^ * \} $ est indécidable?
https://www.generacodice.com/fr/articolo/1109493/comment-puis-je-montrer-que-si-un-pda-accepte-une-chaine-de-caracteres-w-w-mid-w-in-0-1-est-indecidable
automata
-
formal-languages
-
undecidability
-
pushdown-automata
-
context-free
cs.stackexchange
Pourquoi le texte de $ A_ {TM} \ le_m \ texte {ENRAYER} \ le_m \ texte {ENRAYER} ^ \ varepsilon $?
https://www.generacodice.com/fr/articolo/1108714/pourquoi-le-texte-de-a-tm-le-m-texte-enrayer-le-m-texte-enrayer-varepsilon
turing-machines
-
halting-problem
-
undecidability
-
reductions
cs.stackexchange
Réduction de A_LBA à E_LBA
https://www.generacodice.com/fr/articolo/1108619/reduction-de-a-lba-a-e-lba
turing-machines
-
computability
-
undecidability
-
reductions
cs.stackexchange
Logique du premier ordre arity définit de décidabilité?
https://www.generacodice.com/fr/articolo/1108570/logique-du-premier-ordre-arity-definit-de-decidabilite
logic
-
satisfiability
-
first-order-logic
-
undecidability
-
reference-request
cs.stackexchange
«
62
63
64
65
66
67
»
Résultats trouvés: 685