状態遷移機械の記述例