正则表达式和有穷自动机(DFA与NFA)的关系