正则表达式 有穷自动机 无穷自动机转化 RE NFA DFA