Questions marquées «turing-machines»

Questions sur les machines de Turing, un modèle théorique de calcul mécanique capable de simuler n'importe quel programme informatique.

1
Complexité temporelle des simulations de machines de Turing universelles et théorème de la hiérarchie temporelle
J'ai un petit problème pour comprendre la preuve du théorème de la hiérarchie temporelle (Hennie et Stearns, 1966) qui garantit l'existence d'un langage acceptable en mais non acceptable en pour toutes les fonctions , tel que est constructible dans le temps etU( n )U(n)U(n)T(n )T(n)T(n)T( n) , U( n )T(n),U(n)T(n),U(n)U( …
3
L'ensemble de codages d'une classe de langues non triviale qui contient l'ensemble vide peut-il être récursivement énumérable?
Soit un ensemble non trivial de langages récursivement énumérables ( ) et soit L l'ensemble des encodages des machines Turing qui reconnaissent un langage en C : L = \ {\ langle M \ rangle \ mid L (M) \ in C \}CCC∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle \mid …
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.