形式语法去除单元生产

Question

假设我有 2 个产品 X 和 Y。

X-> AL|BL|X,

Y-> CK|DK|X.

我猜想减少 X 中的单位生产是不可能的，但 Y 是这种情况吗？

Answer 1

您可以删除单位产生式 X → X，因为它没有任何效果 - 在任何派生中扩展 X → X 都可以通过使用其他 X 产生式之一来删除和替换。

完成此操作后，您可以通过将 Y → X 替换为 Y → ω 来移除 Y 的所有单位产生式，以获得每个剩余的生产 X → ω。