Domande taggate «turing-machines»

Domande sulle macchine di Turing, un modello teorico di calcolo meccanico in grado di simulare qualsiasi programma per computer.

1
Complessità temporale delle simulazioni della macchina di Turing universale e teorema della gerarchia temporale
Ho un piccolo problema a comprendere la dimostrazione del Teorema della Gerarchia del Tempo (Hennie e Stearns, 1966) che garantisce l'esistenza di una lingua accettabile in ma non accettabile in per qualsiasi funzione , tale che è costruibile nel tempo eU(n)U(n)U(n)T(n)T(n)T(n)T(n),U(n)T(n),U(n)T(n),U(n)U(n)U(n)U(n) n≤T(n)=o(U(n)logT(n)).n≤T(n)=o(U(n)log⁡T(n)).n \leq T(n) = o\left(\frac{U(n)}{\log T(n)}\right). Questa dimostrazione si …
3
Gli insiemi di codifiche di una classe di lingue non banale che contiene l'insieme vuoto possono essere enumerabili ricorsivamente?
Permettere CCC essere un insieme non banale di lingue ricorsivamente enumerabili (∅⊊C⊊RE∅ ⊊ C⊊ R E\emptyset \subsetneq C \subsetneq \mathrm{RE}) e lascia che sia l'insieme di codifiche delle macchine di Turing che riconoscono un linguaggio in :LLLCCCL={⟨M⟩|L(M)∈C}L = { ⟨ M⟩ ∣ L ( M) ∈ C}L=\{\langle M \rangle \mid …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.