正规语言

正规语言又称正则语言，是形式语言与自动机理论中讨论的最基本的语言系，可以架起有穷自动机和正则表达式之间的桥梁。设∑为有穷字母表，∑*为其Kleene闭包（见作用代数）。