如何绘制b *（ab）* a *的FA或NFA

Question

我学习形式语言和计算理论， 并且绘制有限自动机。 所以我想问一下如何绘制FA或NFA：

b *（ab）* a *

Answer 1

简化的自动机是这样的：

其中1是起始状态，所有状态都是接受状态。它需要以“垃圾”状态完成，其中所有缺失的过渡将会发生。