hareketi olmayan DPDA'lar onlarla DPDA'lar kadar güçlü mü?

Deterministic Pushdown Automata'nın resmi açıklamasında , makinenin girişten bir sembol okumadan yığının üzerine sembolleri fırlatabileceği veya itebileceği hareketlere izin verirler . Bu ϵ hareketlere izin verilmiyorsa ve yığın her sembol okunduktan sonra yalnızca bir kez değiştirilebilirse, ortaya çıkan otomatik veriler DPDA'ların gücüne eşit mi?$\epsilon$$\epsilon$

Ben POWERSET kullanarak açısından eksik önemsiz bir şey olabilir yeni olarak y "kompres" size izin ε sıkıştırmak biçimine benzerdir onlar olmadan eşdeğer otomat haline hamle, ε bir DFA'daki hamle. Sadece böyle bir dönüşümün DFA'lar kadar önemsiz olmadığı anlaşılıyor ve bunun bile mümkün olduğundan emin değilim.$\Gamma$$\Gamma$$\epsilon$$\epsilon$

Öyleyse iki eşdeğer iktidarda mı? Herkesin DPDAs olduğunu varsayalım görünmektedir çünkü sadece soruyorum hamle ve daha karmaşık bir modeli gibi görünüyor çünkü bu varsayım, neden var merak ediyorum.$\epsilon$

Belki ilgili bazı bilgiler buldum:

Jean-Michel Autebert, Jean Berstel, Luc Boasson; Bağlamdan Bağımsız Diller ve Aşağı Açılan Otomata; Biçimsel Dil El Kitabı; 1997, ss 111-174

Olmadan DPDAs -transitions olarak bilinir zamanlı deterministik ters otomata .$\epsilon$

Örneğin, DPDA'lardan daha az güçlüdürler,

$L = \{ a^n b^p c a^n \mid p,n > 0\} \cup \{ a^nb^pdb^p\mid p,n > 0 \}$

deterministiktir ve bir DPDA tarafından tanınabilir, ancak herhangi biri tarafından tanınamaz. gerçek zamanlı DPDA .

Ne yapabilirsiniz ortadan kaldırmak olduğunu artan $\epsilon$ geçişlerini :

Öneri 5.4 : Herhangi bir DPDA için, herhangi bir kuralı azalacak şekilde aynı dili tanıyan bir DPDA oluşturmak mümkündür .$\epsilon$