半自动机 在数学和计算机科学中半自动机或 M displaystyle M act是幺半群在集合上的乘法性运算从代数结构的观点来看它非常接近于群作用的概念从计算机科学的观点来看它是只有输入没有输出的自动机从范畴论的观点来看作用是如范畴上的函子般重要 这个概念也叫做S集合M集合M操作数S系统S自动机转移系统算子幺半群变换半群或转移幺半群本文力图表现出它们表示的是同一个概念尽管在使用中有各种概念和术语的变体