Я думаю, что это возможно для подкласса КЛЛ, которые инвариантны к перестановке с двоичным алфавитом.
Это соответствует типу языки кванторных сравнивающие Мощности двух множеств. [1] характеризует такие языки, принятые DPDA эквивалентными полулинейными наборами, и в конце утверждает, что языки квантификаторов, принятые NPDA, представляют собой конечные логические комбинации таких языков, принятые DPDA.⟨ 1 , 1 ⟩
Теорема ван Бентемый ([2]) говорит , что магазинные автоматы принимают вид квантификаторы определимы в Пресбургере арифметике (т.е. определяемой полулинейных множеств). Итак, если вы получаете два языка, которые являются недетерминированными CFL (используя первую статью, чтобы узнать, что у вас есть такие примеры), их пересечение также должно быть CFL по этой теореме.⟨ 1 , 1 ⟩
Полулинейное множество, являющееся их пересечением, может быть немного сложным для вычисления ... но, если у вас есть это, [3] (стр. 11-12) дают алгоритм для создания NPDA, принимающего язык, основанный на генераторах соответствующий полулинейный набор.
[1] Макото Канадзава. Монадические кванты, распознаваемые детерминированными автоматами . В материалах 19-го Амстердамского коллоквиума, стр. 139-146, 2013.
[2] Иоганн ван Бентем. Очерки логической семантики . Исследования по лингвистике и философии том 29, 1986, с. 151-176.
[3] Марчин Мостовский. Вычислительная семантика для монадических квантов . Журнал прикладной неклассической логики, 8 (1-2): 107-121, 1998.