Closed FizzyElt closed 1 year ago
一個半自動機是個三元組 $(Q,\ \Sigma,\ T)$
假設一個 $M(Q,\ \Sigma,\ T)$ 集合
$$ M(Q,\ \Sigma,\ T) = { T_w\ |\ w\in \Sigma^* } $$
集合 $M(Q,\ \Sigma,\ T)$ 在函數複合下閉合；就是說，對於所有 $v,w \in \Sigma^*$ ，有著 $T_w \circ Tv = T{vw}$ 。它還包含 $T\epsilon$ ，而這個 $T\epsilon$ 是個恆等函數(即 identity function)。
半自動機
一個半自動機是個三元組 $(Q,\ \Sigma,\ T)$
假設一個 $M(Q,\ \Sigma,\ T)$ 集合
$$ M(Q,\ \Sigma,\ T) = { T_w\ |\ w\in \Sigma^* } $$
集合 $M(Q,\ \Sigma,\ T)$ 在函數複合下閉合；就是說，對於所有 $v,w \in \Sigma^*$ ，有著 $T_w \circ Tv = T{vw}$ 。它還包含 $T\epsilon$ ，而這個 $T\epsilon$ 是個恆等函數(即 identity function)。