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