正则语言又称正规语言是满足下述相互等价的一组条件的一类形式语言：
在字母表集合Σ上的正则语言定义如下：
如果一个语言不是正则语言，它需要一个存储器至少是Ω(log log )的自动机才能辨认。换句话说，DSPACE(o(log log ))等于所有正则语言的集合。实际上，大部分的非正则语言需要至少O(log )的空间。
这里语言的运算参见条目形式语言。
正则语言也可以以纯粹代数的方式来定义。
Σ是一个有穷的字母表，Σ*是Σ上的自由幺半群，Σ*构成了Σ上的所有字符串。令为一个幺半群，映射 : Σ* -> 为一个幺半群同态，集合是的一个子集，于是的逆同态象 -1()是正规的。每一个正则语言都可以依这种方式来定义。
另外一种定义方式借助于一个等价关系。
取为Σ*的任意子集，定义如下的Σ*上的等价关系~ (叫做“语法关系”)： ~ ，即对Σ*中所有的的字符串有在中当且仅当在中。于是对正则语言有下面的结论：语言是正规的当且仅当关系~的等价类的数量是有限的（其证明在条目语法幺半群中）。在此情况下，等价类的数量就是接受语言的最小确定有限状态自动机的状态数。
