Dyck-Sprache, kontextfreie, aber nicht reguläre Sprache über einem Alphabet der Form Σ ={a₁, …, a_n, b₁, …b_n} (n ≥ 1), bestehend aus n sog. Klammerpaaren [a_i, b_i], und bezeichnet mit D_n.

D_n wird durch die Regeln [S, a_iSb_i] (1 ≤ i ≤ n) sowie [S, ε] und [S, SS] aus dem Startsymbol S erzeugt.

Klammersprachen spiegeln die Regeln korrekter Klammerung mit n verschiedenen Klammerarten wider und gelten als besonders typische Vertreter der Klasse kontextfreier Sprachen.