Statements (32)
Predicate | Object |
---|---|
gptkbp:instanceOf |
formal semantics
|
gptkbp:alphabet |
set of opening and closing parentheses
|
gptkbp:application |
gptkb:logic
compiler design enumerative combinatorics parsing expressions syntax analysis |
gptkbp:closed |
closed under concatenation
not closed under complement not closed under intersection |
gptkbp:exampleString |
(()())
(()) () ()() |
gptkbp:generation |
context-free grammar
|
gptkbp:heldBy |
context-free language
canonical example of non-regular language set of balanced strings of parentheses |
https://www.w3.org/2000/01/rdf-schema#label |
Dyck language
|
gptkbp:namedAfter |
gptkb:Walther_von_Dyck
|
gptkbp:notExampleString |
(()
())( )( |
gptkbp:relatedTo |
gptkb:Catalan_numbers
gptkb:pushdown_automata gptkb:stack_automata |
gptkbp:studiedBy |
gptkb:Walther_von_Dyck
|
gptkbp:usedIn |
computer science
combinatorics theory of formal languages |
gptkbp:bfsParent |
gptkb:Walther_von_Dyck
|
gptkbp:bfsLayer |
5
|