§23.4 正规文法与正规式