Questions marquées «decidability»

15
Un problème simple dont la décidabilité est inconnue
Je me prépare pour une conférence destinée aux étudiants en mathématiques de premier cycle et, dans ce cadre, j’envisage de discuter du concept de décidabilité. Je veux donner un exemple d'un problème que nous ne savons pas actuellement décisif ou indécidable. Il existe de nombreux problèmes de ce type, mais …
3
Les restrictions de Turing Machine qui rendent l’arrêt décidable
Si on restreint Turing Machines à une bande finie (c'est-à-dire d'utiliser un espace délimité ), le problème d'arrêt est décidable, essentiellement parce qu'après plusieurs étapes (pouvant être calculées à partir du nombre d'états Q , S et taille de l'alphabet), une configuration doit être répétée.SSSQQQSSS Existe-t-il d'autres restrictions naturelles à …
5
Quels modèles d'automates notables ont un confinement polynomialement décidable?
J'essaie de résoudre un problème particulier et j'ai pensé que je pourrais le résoudre en utilisant la théorie des automates. Je me demande, quels modèles d'automates ont un confinement décidable en temps polynomial? c'est-à-dire que si vous avez des machines vous pouvez tester si efficacement.M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Les plus …
1
Théorie décidable de la croissance asymptotique
Quelles sont les limites connues de la décidabilité de la comparaison du taux de croissance des fonctions de ? Je pense ici à la décidabilité de questions comme "Est-ce que ?" ou "Est-ce que ?".N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg⁡(x+2)⌋x^x \sim 2^{\lfloor x \lg (x+2) \rfloor}2lg∗x∈O(lglgx)2lg∗⁡x∈O(lg⁡lg⁡x)2^{\lg^* x} \in O(\lg \lg x) Si nous …
2
Systèmes d'addition vectorielle avec des «obstacles» finis
Un système d'addition vectorielle (VAS) est un ensemble fini d' actions A⊂ZdA⊂ZdA \subset \mathbb{Z}^d . NdNd\mathbb{N}^d est l'ensemble des marquages . Une course est un mot non vide de marques m0m1…mnm0m1…mnm_0 m_1\dots m_n st ∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0, \dots, n-1\}, m_{i+1}-m_i \in A . Si un tel mot existe, nous …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.