sml中正则表达式的输出

Question

在下面的表达式中找到长度小于6的所有输出都有一个问题： （A + B | BA +）+。 有19个输出。我可以找到它们中的一部分。

但我不知道为什么“abba，baab，aabab，abaab，baaab，abbaa，baaba，babaa”是答案的一部分。

Answer 1

以下是一些可以帮助您弄清楚其余部分的示例：

• abba：ab来自第一部分（1个或多个a后跟b），ba来自第二部分（一个b后跟1或更多a s）。
• baab：类似
• babaa：ba baa来自第二部分（由于最终+，您可以拥有一个或多个小组。