formula_79が状態と入力の線形な組合せなら、前述のような行列で表現できる。