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