ホッピングボール・マシンFに対して、その振る舞い行列をBeh(F)として、F≡G :⇔ Beh(A) = Beh(G) と定義して、F≡G とは何であるか？を分析したい。ところがまた、用語の問題がある。F≡G を振る舞い同値（behavioural equivalence）と呼びたいが、通常の振る舞…

いずれにしてもPow(N)に∪と・を入れた半環を使うのだけど、{x∈R | 0≦ x ＜2} に、足し算／掛け算を入れた代数を使っても同じ。こっちのほうが親しみがわくかもしれない。固有名詞をBにしておこう。文字Bに特に意味はない。通常の数と、Pow(N)やBのあいだには…