摘要

正规表达式首先由Keene在20世纪50年代开始研究。McCullough和Pitts提出了一种描述神经活动的有穷自动机模型,从此以后,正规表达式和有穷自动机在计算机科学中得到了广泛应用。通常,对于正规文法G和有限自动机M,M所定义的语言记作L(G),M所能识别的语言记作L(M),如果有L(G)=L(M),则称G和M是等价的。

全文