普通语言和正则表达式(自动机理论)

Question

我正在浏览"语言简介和约翰·C·马丁的计算理论"第3章第3.1节。练习后，问题＃3.7（i）"所有字符串的语言都包含BB和ABA作为子弦。"这个问题使我感到困惑"。

这是我做的表达。我不知道它的好坏：

"(a+b)*((bb(a+b)*aba)+(bb(a+b)*aba))(a+b)*".

我也与" "one_answers" |"感到困惑符号。我认为也一样。是不是？（是？/否？）???

Answer 1

and |实际上是非常不同的。A 与编写A（A*）相同。它告诉您一次或多次编写字符串。|是一个为您提供选择的操作员。（A | B）告诉您选择A或B。

您选择的表达似乎是正确的，除非所有 都应转换为|。