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

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

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

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

start a|b
final ()
trans a|b a ()
trans a|b b ()

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

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

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

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

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

