3
Về việc hiện thực hóa các đơn âm như các đơn ngữ cú pháp
Đặt là một ngôn ngữ, sau đó chúng tôi xác định đồng âm cú pháp là và thương monoid được gọi là monoid cú pháp của . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ …