Conjunctive grammars over an alphabet ∑ = {a} are studied, with the focus on the special case with a unique nonterminal symbol. Such a grammar is equivalent to an equation X = φ(X) over sets of natural numbers, using union, intersection and addition. It is shown that every grammar with multiple nonterminals can be encoded into a grammar with a single nonterminal, with a slight modification of the language. Based on this construction, the compressed membership problem for one-nonterminal conjunctive grammars over {a} is proved to be EXPTIME-complete, while the equivalence, finiteness and emptiness problems for these grammars are shown to be undecidable.
Original language | English |
---|---|
Title of host publication | Computer Science - Theory and Applications - 4th International Computer Science Symposium in Russia, CSR 2009, Proceedings |
Pages | 191-202 |
Number of pages | 12 |
DOIs | |
State | Published - 2009 |
Externally published | Yes |
Event | 4th International Computer Science Symposium in Russia, CSR 2009 - Novosibirsk, Russian Federation Duration: 18 Aug 2009 → 23 Aug 2009 |
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 5675 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | 4th International Computer Science Symposium in Russia, CSR 2009 |
---|---|
Country/Territory | Russian Federation |
City | Novosibirsk |
Period | 18/08/09 → 23/08/09 |
ID: 78935797