Belirleyici bağlamdan bağımsız ve gözle görülür aşağı itilen diller için hangi iyi gösterimler var?

Deterministik bağlamdan bağımsız diller (DCFL) ve görünür şekilde aşağı itilen diller (VPL), bağlamdan bağımsız diller (CFL) ve normal diller (REG) arasındaki biçimsel diller kümesidir. CFL için Backus-Naur-Form ve REG için düzenli ifadeler gibi düz ASCII'de ifade edilebilen okunabilir bir gösterim var mı?

DCFLs ile ilgili olarak, daha iyi bir yazma açık bir şekilde kurallarını yani kararlı aşağı açılan otomatın geçiş fonksiyonu daha gösterimde, bkz yok ile devletler , , bir yığın sembol, yığın sembollerin bir dizisi ve giriş sembol ya da boş bir dizge. Gösterimin kendisi determinizmi zorunlu kılmaz, ancak kolayca kontrol edilir. Bağlamdan bağımsız bir dilbilgisi türünü (BNF olarak) kullanarak, DCFL'ler CFL'lerin uygun bir alt sınıfı olduğundan ve DaniCL tarafından not edildiği gibi, bir CFG'nin dilinin deterministik olup olmadığına genel olarak karar veremezsiniz.q , q ′ Q z γ $q,z,a\to q',\gamma$$q,q'$$Q$$z$$\gamma$$a$

VPLS ile ilgili olarak, CFGS bir parantez içi / parantez tarzı şeklinde kurallarına iyi yeterli olacaktır burada , bir uç-olmayan bir göstergesini, bir çağrı sembolü dönüş sembolü ve bir dizisi normal karışık iç semboller ve terminal olmayanlar üzerinde ifade. Herhangi bir VPL aynı zamanda bir (D) CFL olduğundan, aşağı itme otomata için yukarıdaki gösterimi tekrar kullanabilir ve yığın işlemlerinin çağrılarla ve geri dönüşlerle eşleşip eşleşmediğini kontrol edebilir veya iç içe sözcük otomatının (daha az gereksiz) geçiş ilişkisini yazabilirsiniz. .A a b $A\to a\alpha b$$A$$a$$b$$\alpha$

Düzenleme: düşünmek için, XML şemaları için bir gösterim, gibi RelaxNG --- gibi bir sözdizimi ASCII notasyonu ---, kolayca VPLs için kullanılabilir. Sadece bir çağrı sembolü için "<ab>" örneğin, bir açılış etiketiyle, etiketler için bazı adlandırma kurallarına uygulamak gerekiyordu dönüş sembolü için eşleştirme bir kapatma etiketi "</ ab>" .$a$$b$

Kanonik bir temsili bulmak için aşağıdakileri göz önünde bulundurun: DCFL sınıfı, yine LR (1) 'e eşdeğer olan LR (k) dilbilgisi tarafından üretilen dil sınıfına eşdeğerdir. Bu, her DCFL için bir LR (1) dilbilgisi bulabileceğiniz anlamına gelir. Tabii ki, bir LR (1) dilbilgisi hala bağlamsız bir dilbilgisidir, ancak özel bir özelliğe sahiptir: LR (1) dilbilgisinden, bir deterministik ayrıştırıcıyı yönlendirmek için kolayca ayrıştırma tabloları oluşturabiliriz (1 sembolün bakışıyla, bu nedenle LR (1)). Bu ayrıştırma tabloları, daha az okunabilir olsa da, başka bir temsil olacaktır.

Bu arada, belirli bir bağlamsız dilin deterministik olup olmadığının kararlaştırılamayacağını unutmayın (Greibach Teoremi).

İtiraf etmeliyim ki hiç VPL duymadım.