オートマトンによる列の認識を、列のカレント位置を示すカーソル（ニードル）があって、一方では状態空間のカレント位置を示すトークンがあって、カーソルとトークンが動き回る、というイメージで考えることがある。トークンを分割して複数にしてもいいなら…

今日は本編お休みにしよう。もう、エネルギー使ったから。Conway代数とKleene代数は、同じ指標（semiringの指標 + star）の上で定義される。Conway代数はベキ等を仮定しなくてもいいし、完全に等式的に定義される。一方、Kleene代数の公理からConway代数の公…

グラフをペトリネットで描くべきだが、普通のペトリネットとノードの描き方が逆になる。 遷移ノード： 円や四角 プレイスノード： 黒点や短い棒 遷移ノードは、有向ハイパー辺といってもいい。ペトリネットの意味での“辺”＝ワイヤーはラベリングされないが、…

もう、なにやっているんだぁーーー、俺はぁ。見つけたミッシングピースをまた置き忘れている。バッカじゃないの。ソート付きプレイスホルダーを持つテンプレートとコンテキストを使うべし！使うべし！使うべし！非終端記号という変な概念にまっとうな定式化…