有限無限の列言語／リボン言語

Σが単なる集合として、Σ^#は次の定義にしよう。

• Σ^# = Σ^*∪Σ^∞

Σ^∞は長さが無限の列の集合で、Σ^∞=Map(N, Σ)。

A⊆Σ^#とB⊆Γ^#に対して、A;Bを定義できる。A, Bを有限部分と無限部分に分けてA=(A_f|A_∞)、B=(B_f|B_∞)とすると、(A_f|A_∞);(B_f|B_∞) = (A_f;B_f|A_∞∪A_f;B_∞)となる。

マルチアルファベットになっても同じ。(Σ₁, ..., Σ_n)^# = Σ₁^#× ... ×Σ_n^#。有限部分と無限部分への分割も同じ。

• ウィルケ代数も参照→ウィルケ（Wilke）代数 - 檜山正幸のキマイラ飼育記 メモ編