The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Balanced Grammars and Their Languages
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Journal of Computer and System Sciences
Structural equivalence of context-free grammars
Journal of Computer and System Sciences
Tracking down the origins of ambiguity in context-free grammars
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Type inference and type checking for queries over execution traces
The VLDB Journal — The International Journal on Very Large Data Bases
On the membership problem for visibly pushdown languages
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
The validation of SGML content models
Mathematical and Computer Modelling: An International Journal
Parse forest diagnostics with dr. ambiguity
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Ambiguity detection: scaling to scannerless
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Grammatical Codes Of Trees And Terminally Coded Grammars
Fundamenta Informaticae
Conservative ambiguity detection in context-free grammars
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 0.00 |
A bracketed grammar is a context-free grammar in which indexed brackets are inserted around the right-hand sides of the rules. The language generated by a bracketed grammar is a bracketed language. An algebraic condition is given for one bracketed language to be a subset of another. The intersection and the difference of two bracketed languages with the same brackets and terminals are context-free (although not necessarily bracketed) languages. Whether L(G"1)@?L(G"2) and whether L(G"1)@?L(G"2) is empty are solvable problems for arbitrary bracketed grammars G"1 and G"2 with the same brackets and same terminals. Finally, bracketed languages are shown to be codes with strong properties.