让L（G）是由上下文无关文法G生成的语言。以下决策问题是否可以确定？
L（G）是否是确定性上下文无关语言？
我理解了为什么link无法确定上述问题，但我对此表示怀疑。
我们知道CFL和PDA等效（reference），即对于每个CFL，G，都有一个PDA M，使得L（G）= L（M），反之亦然。
没有上下文如果DPDA可以接受该语言，则它是确定性语言。
确定性PDA是一种基于当前输入最多可以从任何状态进行一次转换的PDA。
既然我们可以为每个CFL创建一个PDA并区分PDA是否是确定性的，那么可以说L（G）是否是确定性上下文无关语言的问题是可以确定的吗？还是我错过了什么？
答案 0 :(得分：0)
您缺少什么。你说：
与上下文无关的语言是确定性的，如果它可以被DPDA接受。
和
我们可以为每个CFL创建一个PDA
和
[我们可以]区分PDA是否具有确定性
问题在于，即使语言是确定性的，您为CFL获得的PDA仍可能是不确定性的。虽然每个确定性CFL都有接受它的DPDA是正确的，但并不是每个DPDA仅接受每个确定性CFL都是不正确的。确实，每一个确定性CFL都被许多不确定性PDA所接受...不难看出，可以通过添加不导致接受任何东西的新状态和分支，将任何DPDA转换为等效的不确定性PDA。