出力値が状態と入力値で決まるステート・マシンです.状態遷移図では,遷移を示す矢印に条件と出力値が示されます〔図 1. ミーリ・マシンムーア・マシン〕.