Merge branch 'project1-1' into project2-1
DFA.minimized implemented
Merge branch 'project2-1' into project2