dfa
dfa
dfa
bn
merge