Pertanyaan yang diberi tag «turing-machines»

Saya mencoba untuk menghubungkan Combinational Logic Circuits (komputer berdasarkan hanya pada gerbang logis) dengan semua yang saya pelajari baru-baru ini dalam Theory of Computation. Saya bertanya-tanya apakah sirkuit logika kombinasional dapat mengimplementasikan komputasi dengan cara yang sama seperti mesin negara terbatas. Mereka tampak sangat berbeda: Finite State Machines, bagaimanapun, memiliki …

8 complexity-theory  turing-machines  computation-models  circuits 

Apakah PC kami berfungsi sebagai Mesin Turing? Model Mesin Turing terdiri dari pita memori tak terbatas, yang berarti status tak terbatas. Tapi anggaplah jika PC kita memiliki 128 MB memori dan 30GB disk itu akan memiliki 256 ^ 30128000000 negara dan dengan demikian, ia memiliki status yang terbatas. Saya tahu …

8 complexity-theory  computability  turing-machines  automata 

Saya punya sedikit masalah untuk memahami bukti Teorema Time Hierarchy (Hennie and Stearns, 1966) yang memastikan keberadaan bahasa yang dapat diterima dalam tetapi tidak dapat diterima dalam untuk fungsi apa pun , sehingga dapat dikonstruksi waktu danU(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). Bukti ini didasarkan pada keberadaan mesin Universal …

8 complexity-theory  turing-machines  simulation 

Membiarkan CCCmenjadi seperangkat bahasa enumerable rekursif non-sepele ( ) dan biarkan L menjadi set pengkodean mesin Turing yang mengenali beberapa bahasa dalam C : L = \ {\ langle M \ rangle \ mid L (M) \ dalam C \}∅⊊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 L(M) \in C …

8 computability  turing-machines 

Saya mencoba untuk menyerang TAOCP sekali lagi, mengingat beratnya volume sebenarnya saya mengalami kesulitan untuk melakukannya dengan serius. Dalam TAOCP 1 Knuth menulis, halaman 8, konsep-konsep dasar :: Membiarkan AAAmenjadi set huruf yang terbatas. MembiarkanA∗A∗A^* menjadi himpunan semua string di AAA (himpunan semua urutan terurut x1x1x_1 x2x2x_2... mana dan berada …

7 formal-languages  turing-machines  computation-models