いやー、むずかしい、難しい。オートマトンを加群と考えるのは、ポリシー／指導原理としてはいいと思うが、具体的な定義では対応がつかない。双加群（両側加群）の (ax)b = a(xb) という結合律が、双オートマトン＝トランスデューサと考えるとまったく成立し…