Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
gptkb:context-free_grammar
|
| gptkbp:heldBy |
context-free language
canonical example of non-regular language set of balanced strings of parentheses |
| 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 |
gptkb:combinatorics
computer science theory of formal languages |
| gptkbp:bfsParent |
gptkb:Walther_von_Dyck
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Dyck language
|