s, s'∈S, t, t'∈T、状態空間のあいだの関係をR⊆S×T、遷移（1ステップ）を矢印で表す。また xRx' を x〜x' で示す。次が、「SがTを模倣できる」の定義。 s〜t, t-(a)→t' ならば、s'〜t', s-(a)→s' となるs'がS内にある。 それで、 SがTを模倣できる ⇔ L(T)⊆L(…

明瞭オートマトンの包含性決定問題だが、ダイクストラ波動を、サイクルを持つような空間で走らせると永久に走っている。これは困る。アルゴリズムが止まらない。それは分かっていたんだが、サイクルはすぐに消せると、サイクルの扱いを甘く見ていたなーー。…

始境界上の点のin次数は0でなくてはならない。 終境界上の点のout次数は0でなくてはならない。 ようするに、境界は境界のようでなくてはならない。 辺ラベルは、文字や文字列ではなくて言語なのだ。したがって、いろいろと演算ができる。 境界を1点にすれば…