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 computability - Ceci est la page 158 - GeneraCodice
$ L (M) = L $ où $ M $ est un TM $ $ qui ne se déplace que vers le côté droit si $ L $ est régulier
https://www.generacodice.com/fr/articolo/1095930/-l-m-l-ou-m-est-un-tm-qui-ne-se-deplace-que-vers-le-cote-droit-si-l-est-regulier
turing-machines
-
computability
-
formal-languages
-
computation-models
-
regular-languages
cs.stackexchange
Pourquoi pas ce problème indécidable NP?
https://www.generacodice.com/fr/articolo/1096129/pourquoi-pas-ce-probleme-indecidable-np
complexity-theory
-
computability
-
undecidability
-
decision-problem
cs.stackexchange
La preuve que $ \ {?M? | L (M) \ mbox {est hors-contexte} \} $ est pas (co) récursivement énumérable
https://www.generacodice.com/fr/articolo/1096284/la-preuve-que-m-l-m-mbox-est-hors-contexte-est-pas-co-recursivement-enumerable
turing-machines
-
computability
-
formal-languages
-
context-free
cs.stackexchange
Y at-il un langage fini indécidable de mots finis?
https://www.generacodice.com/fr/articolo/1096303/y-at-il-un-langage-fini-indecidable-de-mots-finis
computability
-
formal-languages
-
undecidability
cs.stackexchange
Pourquoi l'absence de surjection avec le jeu de puissance ne suffit pas à prouver l'existence d'une langue indécidable?
https://www.generacodice.com/fr/articolo/1096307/pourquoi-l-absence-de-surjection-avec-le-jeu-de-puissance-ne-suffit-pas-a-prouver-l-existence-d-une-langue-indecidable
computability
-
formal-languages
-
undecidability
cs.stackexchange
Montrer que le problème de l'arrêt est décidable pour un seul passage des machines de Turing
https://www.generacodice.com/fr/articolo/1096692/montrer-que-le-probleme-de-l-arret-est-decidable-pour-un-seul-passage-des-machines-de-turing
turing-machines
-
computability
-
formal-languages
-
check-my-proof
cs.stackexchange
machine de Turing et la langue décidabilité
https://www.generacodice.com/fr/articolo/1096709/machine-de-turing-et-la-langue-decidabilite
turing-machines
-
computability
cs.stackexchange
Turation Reconnaissable => dénombrable
https://www.generacodice.com/fr/articolo/1096749/turation-reconnaissable-denombrable
turing-machines
-
computability
-
intuition
cs.stackexchange
Peut-codages ensemble d'une classe non triviale des langues qui contient l'ensemble vide récursivement dénombrable?
https://www.generacodice.com/fr/articolo/1096832/peut-codages-ensemble-d-une-classe-non-triviale-des-langues-qui-contient-l-ensemble-vide-recursivement-denombrable
turing-machines
-
computability
cs.stackexchange
Récursif, récursivement énumérables et Aucune de ces
https://www.generacodice.com/fr/articolo/1096856/recursif-recursivement-enumerables-et-aucune-de-ces
computability
-
formal-languages
cs.stackexchange
«
155
156
157
158
159
160
»
Résultats trouvés: 1630