Dyck language
(重定向自Dyck word)
![Lattice of the 14 Dyck words of length 8 - [ and ] interpreted as up and down](/uploads/202501/10/Dyck_lattice_D4.svg5209.png)
In the theory of formal languages of computer science, mathematics, and linguistics, the Dyck language is the language consisting of balanced strings of square brackets [ and ]. It is important in the parsing of expressions that must have a correctly nested sequence of brackets, such as arithmetic or algebraic expressions. It is named after the mathematician Walther von Dyck.