來源：互聯網
正則語言L的星高定義為所有能表示L的正則表示式的星高的最小值。
簡介
在數學里，正則表示法 E在有限字母 的 星高定義如下：:
??, .
??
??
??
正則語言L的 星高定義為所有能表示 L的正則表示式的星高的最小值。
可證明，語言 L有星高0當且僅當其語法幺半群為非周期幺半群。
正則語言
在字母表集合上的正則語言定義如下：
（1）空集合是正則語言
（2）只包含一個空字符串的語言是正則語言
（3）對所有，是正則語言
（4）若 A, B是正則語言，則 (kleene星號)都是正則語言
除此之外都不是正則語言如果一個語言不是正則語言，它需要一個存儲器至少是的自動機才能辨認。換句話說，DSpace等于所有正則語言的集合。實際上，大部分的非正則語言需要至少的空間。
另見
??星高問題
??廣義星高問題
參考資料 >