形式语法删除单元制作

Question

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

X-> AL|BL|X,

Y-> CK|DK|X.

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

Answer 1

您可以删除单元产生式 X → X，因为它没有任何效果 - 可以删除任何推导中的扩展 X → X，并使用其他 X 产生式之一替换。

完成后，对于每个剩余的产生式 X → ω，您可以通过将 Y → X 替换为 Y → ω 来删除 Y 的所有单位产生式。