Регулярное выражение в теории автоматов?

Question

У меня есть следующий язык и его регулярное выражение

{w ∈ {a, b}*: w имеет bab в качестве префикса, а babaa в качестве суффикса}

Ответ:

Регулярное выражение = bab(a ∪ b)*babaa, babaa, bababaa

Зачем нужна жирная часть?

Answer 1

bab - это префикс babaa, а babaa - это суффикс самого себя. Следовательно, бабаа - возможная нить.

babaa - это суффикс bababaa, а bab - это префикс bababaa. Таким образом, это также должно быть включено.