data structure done, except for erase and merge
Merge branch 'dev3' of github.com:ShawnXiao2007/straightDFA into dev3