正规文法正规式 有穷自动机