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 semi-decidability - Ceci est la page 4 - GeneraCodice
Est-il décideable si une machine Turing m atteindra l'état Q sur les entrées s?
https://www.generacodice.com/fr/articolo/1609368/est-il-decideable-si-une-machine-turing-m-atteindra-l-etat-q-sur-les-entrees-s
turing-machines
-
computability
-
undecidability
-
semi-decidability
cs.stackexchange
Prouver les langues | l <m> | = 2 et | l <m> | $ not = 2 $ pour être énuméable ou non rémunéré
https://www.generacodice.com/fr/articolo/1609164/prouver-les-langues-l-m-2-et-l-m-not-2-pour-etre-enumeable-ou-non-remunere
turing-machines
-
computability
-
semi-decidability
-
reductions
cs.stackexchange
Prouver que l'arrêt de toutes les entrées n'est pas dans la simulation
https://www.generacodice.com/fr/articolo/1607925/prouver-que-l-arret-de-toutes-les-entrees-n-est-pas-dans-la-simulation
turing-machines
-
computability
-
simulation
-
proof-techniques
-
semi-decidability
cs.stackexchange
REC et RE sous intersection
https://www.generacodice.com/fr/articolo/1607617/rec-et-re-sous-intersection
turing-machines
-
computability
-
formal-languages
-
undecidability
-
semi-decidability
cs.stackexchange
Comment construire un NTM qui accepte le langage composé du codage des machines Turing qui s'arrêtent sur une entrée?
https://www.generacodice.com/fr/articolo/1606880/comment-construire-un-ntm-qui-accepte-le-langage-compose-du-codage-des-machines-turing-qui-s-arretent-sur-une-entree
turing-machines
-
nondeterminism
-
semi-decidability
cs.stackexchange
Le théorème de riz-shapiro est-il bidirectionnel?
https://www.generacodice.com/fr/articolo/1606871/le-theoreme-de-riz-shapiro-est-il-bidirectionnel
computability
-
semi-decidability
cs.stackexchange
L'ensemble de grammaires sans contexte qui génèrent tous les mots en co-re?
https://www.generacodice.com/fr/articolo/1605803/l-ensemble-de-grammaires-sans-contexte-qui-generent-tous-les-mots-en-co-re
turing-machines
-
formal-languages
-
context-free
-
semi-decidability
cs.stackexchange
Que le langage de toutes les machines Turing soit décidable ou indécidable ou semi-décidable?
https://www.generacodice.com/fr/articolo/1605233/que-le-langage-de-toutes-les-machines-turing-soit-decidable-ou-indecidable-ou-semi-decidable
turing-machines
-
computability
-
undecidability
-
semi-decidability
cs.stackexchange
Prouver qu'un ensemble est semi-décidable
https://www.generacodice.com/fr/articolo/1604256/prouver-qu-un-ensemble-est-semi-decidable
turing-machines
-
semi-decidability
cs.stackexchange
Déterminer si les langues données sont régulières ou récursives
https://www.generacodice.com/fr/articolo/1601274/determiner-si-les-langues-donnees-sont-regulieres-ou-recursives
formal-languages
-
undecidability
-
regular-languages
-
semi-decidability
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 173