半自動機

在數學和計算機科學中 ， 半自動機或 - act是幺半群在集合上的乘法性運算 。 從代數結構的觀點來看 ， 它非常接近於群作用的概念 。 從計算機科學的觀點來看 ， 它是隻有輸入沒有輸出的自動機 。 從範疇論的觀點來看 ， 作用是如範疇上的函子般重要 。 這個概念也叫做S - 集合 、 M - 集合 、 M - 操作數 、 S - 系統 、 S - 自動機 、 轉移系統 、 算子幺半群 、 變換半群或轉移幺半群 。 本文力圖表現出它們表示的是同一個概念 ， 儘管在使用中有各種概念和術語的變體 。