如何画出b*(ab)*a*的FA或NFA

How to draw the FA or NFA of b*(ab)*a*

我正在学习形式语言和计算理论, 和新的绘制有限自动机。 所以我想问一下如何绘制FA或NFA:

b*(ab) * a*

简化的自动机是这个:

其中 1 是起始状态,所有状态都是接受状态。它需要以 "Trash" 状态完成,所有缺失的转换都将进入该状态。