kleene-star 的势能为 0 是否满足析取？
Does the kleene-star's potence 0 fulfill a disjunction?
正则表达式X•(Y*+Z)是否接受单词X？
我会说它确实如此，因为 Y=ε 应该满足析取，但我不确定。
这个答案假设除了原来的 X•(Y*|Z) 之外，您的正则表达式也可以表示为 X.(Y*|Z) —— 如果这不正确，请解释 • 是什么应该做或代表。
X•(Y*|Z) 要求 X 在 Y* 或 Z 可以匹配之前出现，但不会在匹配的特定 [=25] 中包含 X =] 结果，只有匹配的行。如果你想包含 X，你可以 re-write 它作为 (X)•(Y*|Z) 并从捕获组 1 中提取 X，并且你的析取匹配在捕获组 2 中。
是的，匹配0次也算成功
或者，从另一个方向看，您的正则表达式生成
X
XY
XZ
XYY
XYYY
XYYYY
...
正则表达式X•(Y*+Z)是否接受单词X？
我会说它确实如此，因为 Y=ε 应该满足析取，但我不确定。
这个答案假设除了原来的 X•(Y*|Z) 之外，您的正则表达式也可以表示为 X.(Y*|Z) —— 如果这不正确，请解释 • 是什么应该做或代表。
X•(Y*|Z) 要求 X 在 Y* 或 Z 可以匹配之前出现，但不会在匹配的特定 [=25] 中包含 X =] 结果，只有匹配的行。如果你想包含 X，你可以 re-write 它作为 (X)•(Y*|Z) 并从捕获组 1 中提取 X，并且你的析取匹配在捕获组 2 中。
是的，匹配0次也算成功
或者，从另一个方向看，您的正则表达式生成
X
XY
XZ
XYY
XYYY
XYYYY
...