«linear-bounded-automata» etiketlenmiş sorular

Turing makinesinin (TM) birincil tanımı, en azından kendi referans ders kitabımda (Hopcroft + Ullman 1979) belirleyicidir. Dolayısıyla, durma problemine ilişkin kendi anlayışım öncelikle deterministik TM içindir, ancak diğer otomata türleri için de düşünülebileceğinin farkındayım. Ayrıca determinizmin insanların TM'ye ya da durma problemine sık sık başvurma biçiminde genellikle az ya da …

19 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Wikipedia'da ve diğer bazı metinlerde okudum Durma problemi [...] doğrusal sınırlı otomata (LBA) [ve] sonlu hafızalı deterministik makineler için kararlıdır. Ancak daha önce, durdurma sorununun çözülemez bir sorun olduğu ve böylece TM'nin çözemediği yazılmıştır! LBA bir tür TM olarak tanımlandığından, bunlar için de geçerli değil mi?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Sonlu olan bilgisayarlarımızın sonuçta (olağanüstü büyük) Sonlu Durum Makinelerinden daha güçlü olmadığı izlenimindeydim. Bununla birlikte, Doğrusal Sınırlı Turing Makineleri de sonludur, ancak Normal Diller kesinlikle Bağlam Duyarlı Dillerin uygunsuz bir alt kümesidir. Açıkçası burada bir şey eksik. Ne oluyor?

11 finite-automata  computation-models  linear-bounded-automata