İki deterministik CFG arasında ayrım yapan düzenli dil

İki verilmiştir varsayalım deterministik dilleri tanımak otomata aşağı itmek ve düzenli dil var olup olmadığını belirlemek için, ve dilek böyle ve . Temel olarak, zorluk, bu dillerden birinden geldiği göz önüne alındığında, herhangi bir dizenin iki dilden hangisinin geldiğini tanıyabilen bir DFA olup olmadığını belirlemektir.$A$$B$$R$$A \subseteq R$$R \cap B = \emptyset$

Bu kararsız mı? Eğer öyleyse, karmaşıklık nedir? DFA açıkça inşa edilebilir mi?

Eryk Kopczyński [1] 2015 yılında, görünür dillerdeki görünür dillerin normal dillerle ayrılabilmesinin (sorununuzun adı) kararsız olduğunu gösterdi. Görünür olarak aşağı itilen dil sınıfı, deterministik CFL'nin katı bir alt kümesidir.

[1]: Eryk Kopczyński, Görünmez Aşağı Açılan Diller, LICS'16, şu adresten ulaşılabilir: https://arxiv.org/abs/1511.00289