Eşdeğerlik sorununun genel bağlamsız diller için kararsız olduğu iyi bilinmektedir. Ancak, farkında olduğum bu gerçeğin tüm kanıtları, belirsiz belirsiz bir gramer içeriyor gibi görünüyor. Bu nedenle, kendini açık bağlamsız dillerle sınırlarken sorunun kararsız olup olmadığını bilip bilmediğini sormak istiyorum . Diğer bir deyişle, apaçık olduğu düşünülen, bağlamsız iki dilbilgisi göz önüne alındığında, eşdeğer olup olmadıkları karar verilebilir mi?
Bu sorunu biraz merak uyandırıcı buluyorum, çünkü belirleyici bağlamsız diller için eşdeğerliğin karar verilebilir olduğu biliniyor , ancak bu sonuç önemsiz olmaktan uzak ... Öte yandan, kararsızlığımın basit bir nedeni olabilir görmezden gelen.
3
İçerme kararsızdır: pdfs.semanticscholar.org/afdb/…
—
Peter Leupold
@PeterLeupold Evet, ancak içerme belirleyici bağlamsız diller için de doğrulanamaz, bu yüzden bu oldukça basittir (bağlantı verdiğiniz makale bu gerçeği kullanmadan sadece bir kanıt verir). Bununla birlikte, denklik çok daha ilginç görünmektedir, çünkü bu deterministik bağlamdan bağımsız diller için karar verilebilir ve genel bağlamdan bağımsız diller için kararsızdır ...
—
Jára Cimrman
Bununla birlikte, bu sorunun açık olabileceğinden şüphelenmeye başlıyorum: deterministik CFL'ler için olan oldukça karmaşık olduğu için, bir karar verilebilirlik kanıtı pek bilinmemektedir; Öte yandan, kararsızlık cebirsel serilerin değişmeli olmayan değişkenlerdeki denkliğinin kararsızlığını ima eder , ki eğer her şeyi doğru anlarsam, açık bir problem olmalıdır.
—
Jára Cimrman