sml - 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 或多个as）。
• baab：类似的
• babaa：ba baa都来自第二部分（因为你可以拥有一个或多个组由于决赛+。