至少是Ω(log log "n")的自动机才能辨认。换句话说，DSPACE(o(log log "n"))等于所有正规语言的集合。实际上，大部份的非正规语言需要至少O(log "n")的空间。
封闭性质.这里语言的运算参见条目形式语言。
纯代数定义.正则语言也可以以纯粹代数的方式来定义。Σ是一个有穷的字母表，Σ*是Σ上的自由幺半群，Σ*构成了Σ上的所有字串。令"M"为一个"有限"幺半群，映射"f" : Σ* -> "M"为一个幺半群同态，集合"S"是