Dyck language
（重定向自Dyck word）
![Lattice of the 14 Dyck words of length 8 - [ and ] interpreted as up and down](/Images/godic/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.