计算两个NPDA的交点

不赞成拉斐尔关于两个NPDA相交的建议：

让和 NPDA分别用于上下文无关的语言和。假设我们知道，是上下文无关，我们可以（有效地）构造NPDA用于？ $A_1$ $A_2$ $L_1$ $L_2$ $L = L_1 \cap L_2$ $A$ $L$

任何类型的算法都是可以接受的，但是越实用越好。

computability automata pushdown-automata

— 苏安多斯
source

L1 / L2都不规则且交集不为空的L的示例可能会有所帮助，这样的L是否存在？NPDA尚存在一些类似的问题（测试交叉点的空度，测试相等性）是不确定的。如果没有答案，建议迁移/升级到tcs.se

— vzn 2014年

@vzn我相信我有〜50个州的例子，我会尝试找到一个更

— 小巧的

字母上的字符串集“至少1/3 1's”和“少于2/3 1's” 都是DCFL，并且它们的交集是CFL（而不是DCFL）

{0, 1}

$\{0,1\}$

— sjmc

@sjmc您可以画出一个证明吗？对我来说并不明显。如果您将其发布为答案，即使它的答案不完整，

— 也会

更新，在tcs.se看来，这似乎是无法确定的，因为可以将任意TM计算表示为两个CFL的交集。

— vzn 2014年

我认为这对于CFL的子类来说是可能的，这些子类的排列不变且具有二进制字母。

$\langle 1,1\rangle$

半线性集是它们的交集，可能有点难以计算……但是，如果有的话，[3]（第11-12页）提供了一种算法，用于创建一个NPDA来接受基于语言生成器的语言相应的半线性集。

[1]金泽诚。确定性下推自动机可识别单子量词。在第19届阿姆斯特丹学术研讨会论文集中，第139-146页，2013年。

[2]约翰·范本瑟姆。逻辑语义学随笔。语言学和哲学研究，第29卷，1986年，第151-176页。

[3] Marcin Mostowski。一元量词的计算语义。Journal of Applied Non-Classical Logics，8（1-2）：107-121，1998。

— j
source