«turing-machines» etiketlenmiş sorular

Birkaç kez bir NDTM'nin cevabını verimli bir şekilde çevirmenin mümkün olmadığını birkaç kez okudum. Ancak nedenini anlamıyorum. Örneğin, O ( n ) ' de çalışan bir NDTM verildiğinde , bu metin (bölüm 3.3) başka bir NDTM T'nin O ( n 100 )' de nasıl belirleyebileceğinin belirsiz olduğunu belirtir.MMMO(n)Ö(n)O(n)TTTO(n100)Ö(n100)O(n^{100}) zamanında cevabını …

11 complexity-theory  turing-machines 

Universal Turing makinesiyle ilgili iki sorunun yanıtını bulmaya çalışıyorum. Simüle edilen makinede daha fazla sayıda durum varsa Evrensel Turing makinesi Turing makinesini nasıl simüle edebilir? Simüle edilen makinede daha fazla sayıda alfabe karakteri varsa Evrensel Turing makinesi Turing makinesini nasıl simüle edebilir? Birisi bana bu sorularda yardımcı olabilir mi?

10 computability  turing-machines  simulation  turing-completeness 

Bir girişin palindrom olup olmadığına karar verme probleminin Turing makinesinde alanı gerektirdiği kanıtlanmıştır . Ancak, girdinin depolanması bile alanı kaplar , bu da tüm Turing makinelerinin alanı gerektirdiği anlamına gelmez mi?Ω ( günlükn )Ω(günlük⁡n)\Omega(\log n)nnnΩ(n)Ω(n)\Omega(n) Tabii ki, burada bir çelişki yoktur, çünkü en azından doğrusal alanı kullanan herhangi bir işlev …

10 turing-machines  space-complexity 

HTML5 + CSS'nin Turing Complete olduğunu "kanıtladığını" iddia eden web siteleri gördüm. SQL "Turing Complete olduğunu kanıtlamak" iddia web siteleri gördüm. Turing Complete olmanın ne anlama geldiğini "açıklamayı" iddia eden bir grup web sitesi gördüm. Yeter! "Hesaplanabilirlik teorisinde bir uzman tarafından yazılmış) veya haklı bir makaleyi (saygın bir dergide) nerede" …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Turing makineleri ve sınırsız gramerler, RE dillerini tanımlayan iki farklı biçimselciliktir. Bazı RE dilleri karar verilebilir, ancak hepsi değildir. Dilin tüm dizeleri durduran ve kabul eden bir dil varsa ve dilde olmayan tüm dizeleri durduran ve reddeden dilin karar verilebilir olduğunu söyleyerek Turing makineleri ile karar verilebilir dilleri tanımlayabiliriz. Sorum …

10 computability  turing-machines  formal-grammars 

Kabul etmek, TM'nin şu anda okuduğu hücreden bir karakter okuyacağı ve tanıyacağı anlamına mı geliyor? Ve bir TM karar verilebilirse bir TM durur mu?

10 terminology  turing-machines  undecidability 

Soru, Arora-Barak'ın Hesaplamalı Karmaşıklık - Modern Bir Yaklaşım kitabından 1.9 alıştırmasıdır : Bir RAM Turing makinesini, rasgele erişim belleği olan bir Turing makinesi olarak tanımlayın. Bunu şu şekilde resmileştiriyoruz: Makinenin tüm boşluklara başlatılan sonsuz bir A dizisi var. Bu diziye aşağıdaki gibi erişir. Makinenin çalışma bantlarından biri adres bandı olarak …

10 complexity-theory  turing-machines  machine-models  simulation 

Bir numaralandırıcıdan bir Turing Makinesine gitmenin kanıtını alıyorum (numaralandırıcıyı çalışmaya devam edin ve girdiyle eşleşip eşleşmediğine bakın) ama diğer yolun nasıl çalıştığını görmüyorum. Notlarıma ve (Hesaplama Teorisine Giriş - Sipser) kitabına göre, Turing sayımını bir Turing makinesinden almak için, temelde alfabenin tüm kombinasyonlarını yazıyoruz. Daha sonra TM'yi bu girişte çalıştırırsınız, …

10 computability  turing-machines  intuition 

Aşağıdaki algoritmik sorun var: Watson-Crick palindromları olan DNA dizilerini tanıma alanının Turing karmaşıklığını belirleyin. Watson-Crick palindromları, ters tamamlayıcısı orijinal dize olan dizelerdir. Tamamlayıcı DNA esinlenerek, mektup-bazlı tanımlanır: A, T tamamlayıcısı olan ve Cı-ACGT WC-palindrom G. basit bir örnek tamamlayıcı olmasıdır. Bunu çözmenin iki yolunu buldum. Biri boşluğu gerektirir .O(n)O(n)\mathcal{O}(n) Makine …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

Tamam, işte burada Hesaplama Teorisi sınıfımdaki geçmiş bir testten bir soru: TM'deki işe yaramaz durum, herhangi bir giriş dizesine asla girilmeyen durumdur. Let un kararsız olduğunu kanıtlayın .USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ is a …

10 computability  undecidability  formal-methods  turing-machines 

Bu sitede, TM'lerin diğer tüm TM'ler veya belirli alt kümeler için durdurma sorununa karar verip vermeyeceği sorusu üzerinde birçok varyant vardır. Bu soru biraz farklı. Durma sorununun tüm TM'ler için geçerli olup olmadığına bir TM tarafından karar verilebilir. Cevabın hayır olduğuna inanıyorum ve akıl yürütmemi kontrol etmek istiyorum. Meta-durdurma dili …

9 computability  turing-machines  undecidability  halting-problem 

Rice teoreminin bir ifadesi 35. sayfada "Hesaplamalı Karmaşıklık: Modern Bir Yaklaşım" (Arora-Barak): Kısmi bir işlev {0,1}∗{0,1}∗\{0,1\}^*to , tüm girdilerinde mutlaka tanımlanmayan bir işlevdir. Bir TM söylemek kısmi işlevi hesaplar her için eğer üzerinde tanımlanır, ve her durum için üzerinde tanımlanmadı girişi üzerinde çalıştırıldığı zaman sonsuz bir döngüye geçer . Eğer …

9 computability  turing-machines  undecidability  rice-theorem 

3 renklendirmenin karar verilebilir olduğunu kanıtlamak için şunu söylemek yeterli mi? Grafikteki her düğümün 3 olası rengi vardır Bu nedenle her şeyi sıralayabiliriz 3n3n3^n ve iki kenarın aynı renkteki düğümleri bağlamadığını kontrol edin Bu, 3 renklendirmenin karar verilebilir olduğunu kanıtlıyor mu? Yoksa doğru bir kanıt için Turing makinesi mi yapmam …

9 computability  turing-machines  colorings 

Girdi dizesi olarak . Daha sonra NFA durum şu anda ise (alfabe kadar giriş okumak sahip ) daha sonra iki NFA içine NFA bölmelerini sonraki giriş sembolü okumadan önce, durum içinde bir varlık ve diğer varlık , bir geçiş olup olmadığını türü . Türü bir döngü var ise , NFA …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Bir lisans sınıfından sonlu bantlı bir Turing Makinesi için her zaman karşılık gelen bir Sonlu Durum Otomatı bulunacağını hatırlıyorum, ancak bunun internette herhangi bir yerde doğrulandığını bulamadım. Aslında durum bu mu yoksa yanlış mı hatırlıyorum?

9 turing-machines  finite-automata