Σ、Γはマルチアルファベットだとして、Σ×Γは、列の連接で定義される積だとする。空列を1とすると、1×Σ = Σ×1 = Σ。Σ#を全リボン集合だとする。定義から、(Σ×Γ)# = Σ#×Γ#、ただし、右側の×は集合の直積。L(Σ) = Pow(Σ#)とすると、L(Σ)×L(Γ) ⊆ L(Σ×Γ) とみなす…

発見的な議論をしてみる。Tが遷移翻訳系のとき、T⊆X×Σ#×Γ#×X としていいだろう。ここで： Xは状態空間 Σ=(Σ1, ..., Σn)はマルチアルファベットで、Σ# = Σ1*× ... ×Σn*はΣ上のリボンの全体（全リボン集合）。 Σ#×Γ#をAと置いてみると、T⊆X×A×Xなので、通常の…