in dev
Merge branch 'dev3' of github.com:ShawnXiao2007/straightDFA into dev3
in dev