集，定义如下的Σ*上的等价关系~ (叫做“语法关系”)："u" ~ "v"，即对Σ*中所有的的字串"w"有"uw"在"L"中当且仅当"vw"在"L"中。于是对正规语言有下面的结论：语言"L"是正规的当且仅当关系~的等价类的数量是有限的（其证明在条目语法幺半群中）。在此情况下，等价类的数量就是接受语言"L"的最小确定有限状态自动机的状态数。