我有这些作品：
S->aSb
S-> eps (eps=empty string)
我应该使用乔姆斯基范式
我的推理：
1）消除eps规则 给出：
S->aSb
S-> eps
我明白了：
S->ab
S->aSb
2）取消单位规则
没有
3）删除无用的符号
我明白了：
S->ab
因此，应用CNF（乔姆斯基范式）后的给定语法变为：
S->ab
我是对的吗？
答案 0 :(得分：0)
你在这里所拥有的并不完全相同。请注意，空字符串不再是您的语言的一部分，字符串也不是aabb，aaabbb等。
切断消除无用规则的步骤。那第二条规则真的没用吗？
另外，你确定可以消除epsilon的生产吗？