2007-05-25 あとで書く 雑記 課題 Sをソート集合、Vを変数記号の集合で、V→Sでソート付き変数が定義されているとする。ρ:S→|C|がSの圏Cでの解釈として、ρによりVを圏Cに上江州アタッチできる。これを詳しく記述。 終状態セットが複数あるオートマトン。