自动机与形式语言复习：文法，DFA，NFA与正则表达式，CFG化简