"。它还可以被认为是没有输出只有输入的有限状态自动机。幺半群理论的一个主要主张是半自动机等价于act；所以对于任何act，都有一个唯一的半自动机，或反过来说，对于任何半自动机，都有一个唯一的act。这可以如下这样证实。设formula_46是从字母表formula_42生成的自由幺半群，（上标* 要被理解为是Kleene星号）；它是由在formula_42中字母构成的所有有限长度字符串的集合。对于所有formula_46中的字"w"，设formula_50是如下递归定义的函数，对于所有"Q"中的