NFA2DFA和miniDFA完成
Merge branch 'master' of https://github.com/kr11/automata_kr

Conflicts:
	.idea/workspace.xml
	Automata/NFA2DFA.py