##### 正则语言 - 正则语言 - **正则语言**是由[[正则语法]]生成, 可以被[[有限自动机]]识别的[[形式语言]], 并且对[[正则运算]]封闭, 可以由[[正则表达式]]构造描述. [[泵引理]]描述了所有正则语言的一个基本属性, 可用于证明某种语言不是正则语言