創建一個算法來確定上下文無關文法是否可以生成空詞 (ε)

Question

我正在嘗試創建一個算法來決定以下可判定問題：給定 CFG H，H ⇒*ε。 也就是說 H 可以在任意數量的步驟中生成空詞。 該算法必須是可判定的，這意味着它總是正確地停止所有輸入。

我一直在研究這個問題很長一段時間，甚至不知道如何開始或創建這個算法的步驟。 我不是在尋找完整的答案，我只需要朝着正確的方向推動

Answer 1

如果您使用普通算法將此語法轉換為喬姆斯基范式，那么您的語法的起始符號是否能夠導出空字符串就會變得清晰。 這是因為您將迭代刪除所有生成空字符串的產生式，直到找到（或找不到）必要的產生式。