start aaa
final ()
trans ()a a ()
trans ()aa a ()a
trans aaa a ()aa

start aba
final ()
trans ()a a ()
trans ()ba b ()a
trans aba a ()ba

start ab*a
final ()
trans ()b*a a ()
trans ()b*a b ()b*a
trans ab*a a ()b*a

start aaaa*
final ()a*
trans aaaa* a ()aaa*
trans ()aa* a ()a*
trans ()a* a ()a*
trans ()aaa* a ()aa*

start aa*aa
final ()
trans ()a a ()
trans ()a*aa a ()a*aa
trans ()a*aa a ()a
trans aa*aa a ()a*aa

start abbab*
final ()b*
trans ()ab* a ()b*
trans ()bab* b ()ab*
trans ()bbab* b ()bab*
trans abbab* a ()bbab*
trans ()b* b ()b*

start abba*b*
final ()a*b*
final ()b*
trans ()ba*b* b ()a*b*
trans ()bba*b* b ()ba*b*
trans ()a*b* a ()a*b*
trans ()a*b* b ()b*
trans abba*b* a ()bba*b*
trans ()b* b ()b*

start ab*ba*
final ()a*
trans ab*ba* a ()b*ba*
trans ()b*ba* b ()b*ba*
trans ()b*ba* b ()a*
trans ()a* a ()a*

start b*ab*
final ()b*
trans ()b*ab* a ()b*
trans ()b*ab* b ()b*ab*
trans b*ab* a ()b*
trans b*ab* b ()b*ab*
trans ()b* b ()b*

start b*ab*a
final ()
trans b*ab*a a ()b*a
trans b*ab*a b ()b*ab*a
trans ()b*ab*a a ()b*a
trans ()b*ab*a b ()b*ab*a
trans ()b*a a ()
trans ()b*a b ()b*a

