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 linear-bounded-automata - Ceci est la page 1 - GeneraCodice
Un automate de type 1 doit-il toujours se terminer?
https://www.generacodice.com/fr/articolo/1620800/un-automate-de-type-1-doit-il-toujours-se-terminer
termination
-
formal-languages
-
linear-bounded-automata
cs.stackexchange
Décidabilité de la langue de tous les LBA déterministes où tous les États sont accessibles
https://www.generacodice.com/fr/articolo/1620653/decidabilite-de-la-langue-de-tous-les-lba-deterministes-ou-tous-les-etats-sont-accessibles
formal-languages
-
semi-decidability
-
linear-bounded-automata
cs.stackexchange
Nombre de configurations de LBA (Automate linéaire)
https://www.generacodice.com/fr/articolo/1616377/nombre-de-configurations-de-lba-automate-lineaire
turing-machines
-
automata
-
linear-bounded-automata
cs.stackexchange
Un automate à poussée avec deux piles qui équivaut à un automate linéaire
https://www.generacodice.com/fr/articolo/1615824/un-automate-a-poussee-avec-deux-piles-qui-equivaut-a-un-automate-lineaire
turing-machines
-
pushdown-automata
-
context-free
-
context-sensitive
-
linear-bounded-automata
cs.stackexchange
Indécidabilité du vide de la LBA
https://www.generacodice.com/fr/articolo/1611447/indecidabilite-du-vide-de-la-lba
turing-machines
-
linear-bounded-automata
cs.stackexchange
Est-il possible de convertir LBA en DFA?
https://www.generacodice.com/fr/articolo/1607316/est-il-possible-de-convertir-lba-en-dfa
finite-automata
-
linear-bounded-automata
cs.stackexchange
Montrez que $ a_ mathrm {lba} $ est PSPACE-COMPLET?
https://www.generacodice.com/fr/articolo/1606280/montrez-que-a-mathrm-lba-est-pspace-complet
complexity-theory
-
turing-machines
-
space-complexity
-
reductions
-
linear-bounded-automata
cs.stackexchange
Prouver qu'il est indécidable si une LBA donnée accepte un ensemble régulier
https://www.generacodice.com/fr/articolo/1602198/prouver-qu-il-est-indecidable-si-une-lba-donnee-accepte-un-ensemble-regulier
complexity-theory
-
turing-machines
-
undecidability
-
linear-bounded-automata
cs.stackexchange
Une confusion sur la réduction via l'historique des calculs
https://www.generacodice.com/fr/articolo/1588280/une-confusion-sur-la-reduction-via-l-historique-des-calculs
computability
-
undecidability
-
proof-techniques
-
reductions
-
linear-bounded-automata
cs.stackexchange
Pourquoi les machines de Turing linéairement limitées sont-elles plus puissantes que les automates à l'état fini?
https://www.generacodice.com/fr/articolo/1581798/pourquoi-les-machines-de-turing-lineairement-limitees-sont-elles-plus-puissantes-que-les-automates-a-l-etat-fini
finite-automata
-
computation-models
-
linear-bounded-automata
cs.stackexchange
«
1
2
3
4
»
Résultats trouvés: 35