Kelimelerin yığının üzerine itilmesine izin veren, görünür şekilde aşağı itilen otomatik verilerin varyantları var mı?

Merak ediyorum, görsel olarak aşağı itilen otomata ile ilgili herhangi bir makale veya araştırma var, ancak tek harfler yerine kelimelerin yığına itilmesine izin veriyor musunuz?

Alternatif olarak, $\epsilon$ geçişlerine sembollerin itilmesine izin veren bir yapı da aynı hedefe ulaşabilir.

Açıkçası, bu tür varyasyonlar oluşturulabilir, ancak VPA'ları ilginç kılan kapatma ve karar verilebilirlik özelliklerini bozup bozmadığını merak ediyorum.

Yığını bir sayaç olarak kullanmak, okunan ilk simgelere dayalı sabitler tarafından artan, sonra okunan diğer simgelere göre geri sayım bir yapıya bakıyorum.

Bilmeyenler için, görünür bir şekilde aşağı itme otomataları, alfabenin itme sembollerine, haşhaş sembollerine ve yığını hiç etkilemeyen sembollere ayrılabildiği otomatalardır. Patlatmaya karşı itme seçimi tamamen okunmakta olan simgeyle belirlenir. Kesişme, birleşme, birleştirme, yıldız ve tamamlayıcı altında kapalıdırlar ve onlara karar verilebilir özellikler zenginliği verir. Daha fazla bilgi için bu makaleye bakın .

— jmite
kaynak

bariz bir soru, bu tür otomataların "diziler" ile durum dizilerine dönüştürülen standart aşağı açılan otomata eşdeğer olup olmadığıdır. afaik, evet? değilse, başarısız olduğu bir vakanın açıklayıcı bir örneği yardımcı olacaktır.

— vzn

@vzn Eşdeğer olamazlar. Bu görünür PDA'lar kesinlikle daha zayıf görünüyor. En son kontrol ettiğimde, CFL'ler kavşak altında kapanmadı.

— Kai

Bu nedenle, VPDAs kesişme altında kapatılır arasında ve uygun şekilde olduğu bilinmektedir

. Ancak, varyantımın kavşak altında kapalı olup olmadığı hakkında hiçbir fikrim yok, bu yüzden eşdeğer olabilir. Şüpheliyim ama emin değilim.

R E G

$REG$

D C F L

$DCFL$

— jmite

Bu çalışma dx.doi.org/10.1145/1516512.1516518 , VPDA'ların gramer karakterizasyonunu ve gramerler ve VPDA'lar arasında dönüştürme için bir yapı sunmaktadır. Muhtemelen dilbilgisi tüm kelimeleri itmeyi simüle etmek için kullanılabilir mi?

— Evgenij Thorstensen

Neden bir sembolün üzerindeki bir kelimeyi itmek, eps geçişlerine itmeye izin vermekle eşdeğerdir?

— domotorp

Epsilon itme ile

Epsilon-geçişleri iten versiyon için, aşağı itme-otomatanın evrenselliğinin kararsızlığı kanıtı bu yeni ayara uyarlanabilir, bu nedenle en azından aşağıdaki özellikleri kaybederiz: tamamlama altında kapatma, belirlenebilirlik, evrensellik ve dahil edilebilirlik.

İspat şeması: Bir Turing Machine alın , epsilon itmeli bir VPA oluşturmak istiyoruz , böylece sadece M'nin kabul eden çalışması yoksa evrenseldir. $M$ $A$

Biz tasarım kelime şekildedir değil eğer kabul edilmiş ve sadece şekli şöyledir: $A$

burada

# C_{0} & C_{0} $ (\bar{C_{0}})^{R,} # C_{1} & C_{1} $ (\bar{C_{1}})^{R,} # C_{2} & C_{2} $ (\bar{C_{2}})^{R,} ... # C_{n} & C_{n} $ (\bar{C_{n}})^{R,}

$\#C_0\&C_0\$(\overline{C_0})^R\#C_1\&C_1\$(\overline{C_1})^R\#C_2\&C_2\$(\overline{C_2})^R\dots\#C_n\&C_n\$(\overline{C_n})^R$

Her bir , geçerli bir yapılandırmasını kodlar $C_i$ $M$
başlangıç, kabul ediyor $C_0$ $C_n$
bir kelimenin tersidir $u^R$ $u$
bir kopyasıdırpop harfleri kullanarak $\overline{u}$ $u$
alfabesinde olmayan özel ayırma sembolleri $\#,\&,\$$ $M$
her zaman geçerli bir geçişidir $C_i\to C_{i+1}$ $M$

Valproat formun faktörlere pop yapmak zorunda olduğu . , her iki özelliğin de ihlalini belirleyici olmayan şekilde tahmin edebilir ve doğrulayabilir. Anahtar o da üzerinde itmek olmasıdır , ya da (aslında kendi ihlallerini tahmin) tüm koşulları doğrulamak sağlar şey, yok. Özellikle, tahmin edebilirsiniz ilk (ya da ikinci) oluşumu does not neticesinde , gözardı ederek başka bir bileşen. Ayrıca olduğunu tahmin edebilir $A$ $C_i^R$ $A$ $C_i$ $C_i$ $(\overline{C_i})^R$ $C_i\to C_{i+1}$ Her iki tekrarlarını iterek, geçerli bir geçiş değil , bir haşhaş daha sonra, bir itme ve karşılaştırma yığın içeriği. Diğer için tahmin bir parçası değildir, tek bileşenli itilir ve uzattı. $C_i$ $C_{i+1}$ $(\overline{C_{i+1}})^R$ $C_j$ $(\overline{C_j})^R$

Kelimeleri zorlamak

Kelimelerin itildiği varyantlara gelince , VPA'lar üzerindeki orijinal kağıttaki belirlenebilirlik kanıtı bu ayara uyarlanabilir gibi görünüyor . Yapıyı, yığın sembolleri biçiminde olacak şekilde uyarlamak yeterlidir burada , geçiş işlevine göre itilebilen bir sözcüğün önekidir. Yazmak haşhaş zaman , çevrildiğinde $(S,R,u)$ $u\in A^*$ $a$ $(S,R,va)$ $(S',R',v)$ Nerede ve cari Powerset inşaat durumunu yansıtacak şekilde normal olarak güncellenir. Bununla birlikte, bu sefer a priori, gözle görülür bir şekilde aşağı itilmeyen belirleyici bir aşağı itme otomatı alıyoruz. En azından bu, denklik ve evrenselliğin karar verilebileceği anlamına gelir. $S'$ $R'$

— Denis
kaynak