ミーリマシンとは

ミーリマシンとは、出力が現在の状態と入力の両方によって決まる有限状態機械（ステートマシン）である。出力が現在の状態だけで決まるムーアマシンと対比される。