2006-09-12 ラベル付き遷移系 プログラム意味論 A, Bなどをアルファベット（ラベル集合）として、S, Tなどを、それぞれA, Bラベル付き遷移系とする。S, Tの状態空間はX, Yとする。S+T, S×T, S#T を次のように定義できる。 系 アルファベット 状態空間 S + T A∪B X + Y S×T A + B X×Y S＃T A×B X×Y 無音記号、初期状態などを考えるとどうなるか？
