Dyck 語言

最簡單的代數語言，記為 。如果 是字母表 ，那麼 是滿足以下條件的 的單詞 的集合

1. ，其中 是單詞 中字母 的數量，並且

2. 如果 被分解為 ，其中 和 是 的單詞，則 。