际上，大部份的非正规语言需要至少O(log "n")的空间。
封闭性质.这里语言的运算参见条目形式语言。
纯代数定义.正则语言也可以以纯粹代数的方式来定义。Σ是一个有穷的字母表，Σ*是Σ上的自由幺半群，Σ*构成了Σ上的所有字串。令"M"为一个"有限"幺半群，映射"f" : Σ* -> "M"为一个幺半群同态，集合"S"是"M"的一个子集，于是"S"的逆同态象"f"("S")是正规的。每一个正规语言都可以依这种方式来定义。另外一种定义方式借助于一个