如果G是上下文无关语言，那么L（G）=（sigma）*是可确定的还是不可确定的？ 从我那里得到这个问题的来源告诉我答案是不确定的...但是我认为这是可以确定的 因为：由于sigma *是无限的（如果我错了，请纠正我），并且由于上下文无关语言的无限性是可以确定的，因此上述是无限上下文无关语言，我认为这是可以确定的...
答案 0 :(得分：0)
您的参数存在的问题是，存在许多无限语言-所有字符串，偶数长度的字符串，回文，重复的字符串等。也许可以说CFG的语言是无限的，而不能准确说出它是哪种无限语言。有许多语言与所有字符串的语言相同，只是它们缺少单个字符串。或两个字符串。或三个。
来自维基百科：
从确定图灵机是否接受特定输入（停止问题）这一众所周知的不确定问题，可以证明[CFG是否会生成所有字符串的问题]有所减少。归约使用计算历史的概念，该字符串描述图灵机的整个计算。可以构造CFG，以在特定输入上生成不接受特定Turing机器的计算历史的所有字符串，因此只有在机器不接受该输入的情况下，CFG才会接受所有字符串。