的集合，formula_16 是最终状态的集合，单元素集合 "L" 是初始状态，转移函数给出自 formula_17。明显的这个自动机识别 "L"。所以语言 "L" 是可识别的当且仅当集合 formula_11 是有限的。给定表示 "S" 的一个正则表达式"E"，很容易计算 "S" 的语法幺半群。