オートマトンの行列表現
f:X→X、j:A→X、p:X→Bがあるとき：
- TrXA,B[(A+ΔX);(σA,X+X);(p+j+f);(B+∇X)] = j;f*;p
これは実用的。Trの被演算項がゴチャゴチャしているが、f, j, pの3つのブロックを合わせて（残りは零で埋めて）行列を作るだけの操作。三項演算として、(j ? f ! p) とでも書きたいところだ。
絵算で示せるが、そのとき、「交差＋巻き込み（取り囲み）」を取り除く操作が出てくるが、これはしょっちゅう使う、定番だ。
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
f:X→X、j:A→X、p:X→Bがあるとき：
これは実用的。Trの被演算項がゴチャゴチャしているが、f, j, pの3つのブロックを合わせて（残りは零で埋めて）行列を作るだけの操作。三項演算として、(j ? f ! p) とでも書きたいところだ。
絵算で示せるが、そのとき、「交差＋巻き込み（取り囲み）」を取り除く操作が出てくるが、これはしょっちゅう使う、定番だ。