增加3.7.4(4)的最小DFA
update
update
	把4.2.3的(1)(5)改成文法形式
	update 4.2.5