レイチェル・ブラウワー（Rachel Brouwer）の流儀（彼女がオリジナルとは違うかもしれないが）で森田の定理を解釈すると、一部（ごく一部だが）は定義からほぼ自明になる。一般化しても森田定理（Morita Theorem）のキモの部分は再現できないが、地勢を見る…

オートマトンを形式言語（列言語）の代数の上の左加群とみなす。言語の代数をAとして、a∈Aによる左作用 a・s を次のように解釈する。 s'∈(a・s) ⇔ input a may-cause transiton s-->s' 通常のオートマトンを受動的オートマトンと呼ぶ。つまり、オートマトン…