出典:Wiktionary
Dyck language
出典:Wikipedia
出典:『Wikipedia』 (2011/04/12 12:26 UTC 版)
In the theory of formal languages of computer science, mathematics, and linguistics, the Dyck language is the language consisting of balanced strings of parentheses [ and ]. It is important in the parsing of expressions that must have a correctly nested sequence of parentheses, such as arithmetic or algebraic expressions. It is named after the mathematician Walther von Dyck.