«turing-machines» etiketlenmiş sorular

Alan Turing'in doğum gününü kutlayan Google, bir makine gösteren bir doodle yayınladı . Doodle nasıl bir makinedir? Turing Complete dilini ifade edebilir mi? Klasik turing makinesinde bariz farklılıklar var: sonlu bir bant, durumun nasıl bağlanabileceği konusunda kısıtlamalar, ... Doodle hala kullanılabilir olduğunu burada (Sağ üstteki ekran beklenen çıktıyı gösterir.) Ortadaki …

10 cc.complexity-theory  turing-machines 

Ben dağınık sistemlere odaklanmış fakat aynı zamanda teorik bilgisayar bilimi ile ilgilenen bir yüksek lisans öğrencisiyim. Bir turing makinesinin üstünde dağıtılmış bir sistemin resmi bir temsili olup olmadığını merak ediyordum? Yani, dağıtılmış hesaplamadan yararlanmak için bir turing makinesi konseptini genişletmek (varyant yapmak) mümkün müdür? Bir fikir, TM arasında paylaşılan bir …

10 turing-machines  dc.distributed-comp 

Çok ilginç ve hala açık bir soru olan " Tek Bantlı Turing makinesinin Alfabesi " (Emanuele Viola tarafından) ile oynuyordum ve şu dili buldum : L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n \text{ s.t. } |x| = n = 2^m \text{ and } …

10 cc.complexity-theory  turing-machines  time-complexity 

Literatürün çoğu belirli problemler için tekil kesikli makinelerle ilgili gibi görünmektedir, ancak çoklu kesikli makineleri düşünen birkaç makale var gibi görünmektedir. Bu tür makineler hakkında bilinenlere genel bir bakış sağlayan iyi bir makale veya tez var mı? Özellikle birden fazla kehanetle P ile ilgileniyorum.

10 oracles  turing-machines 

Bir süredir Turing Machines'i tam olarak bir bant ve tam 3 durumla (başlangıç ​​durumu) merak ettim q0q0q_0, kabul etme durumu qbircceptqa c c e p tq_{accept}ve reddetme durumu qrejectqr e j e c tq_{reject}). Rasgele (sonlu) teyp alfabelerine izin verdiğimi unutmayın (örn., Teyp alfabesi giriş alfabesine eşit değildir). Kolaylık sağlamak …

9 automata-theory  turing-machines  cellular-automata 

Sınırlı ziyaret belirsizliği olmayan doğrusal sınırlı otomata sadece normal dilleri tanıyor mu? Belirsiz doğrusal sınırlanmış otomat (nLBA) ile, girdinin her iki uçta asla üzerine yazılamayacak uç işaretleri ile "dolgulu" geldiği ve böylece kafanın asla giriş bölgesinden çıkamayacağı tek bantlı, belirsiz bir Turing makinesi kastediyorum, "dış" bitiş işaretleri. Bir sayı varsa …

9 automata-theory  turing-machines  regular-language  space-bounded 

Saf bir sorum var: Sonlandırması doğru ancak doğal, tutarlı ve son derece aksiyomatize edilebilir bir teori tarafından kanıtlanamayan bir Turing makinesi var mı? Belirli bir örnek olmaktan ziyade sadece bir varoluş kanıtı istiyorum. Bunun sıralı analizle bir bağlantısı olabilir . Gerçekten de, bir Turing makinesi içinMMM, tanımlayabiliriz O(M)O(M)O(M)sonlandırılmasını kanıtlayan tutarlı …

9 turing-machines  proof-theory  halting-problem