Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth. / Jez, Artur; Okhotin, Alexander.
Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Proceedings. Springer Nature, 2007. p. 168-181 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4649 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
}
TY - GEN
T1 - Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth
AU - Jez, Artur
AU - Okhotin, Alexander
PY - 2007
Y1 - 2007
N2 - It has recently been proved (Jeż, DLT 2007) that conjunctive grammars (that is, context-free grammars augmented by conjunction) generate some nonregular languages over a one-letter alphabet. The present paper improves this result by constructing conjunctive grammars for a larger class of unary languages. The results imply undecidability of a number of decision problems of unary conjunctive grammars, as well as nonexistence of an r.e. bound on the growth rate of generated languages. An essential step of the argument is a simulation of a cellular automaton recognizing positional notation of numbers using language equations.
AB - It has recently been proved (Jeż, DLT 2007) that conjunctive grammars (that is, context-free grammars augmented by conjunction) generate some nonregular languages over a one-letter alphabet. The present paper improves this result by constructing conjunctive grammars for a larger class of unary languages. The results imply undecidability of a number of decision problems of unary conjunctive grammars, as well as nonexistence of an r.e. bound on the growth rate of generated languages. An essential step of the argument is a simulation of a cellular automaton recognizing positional notation of numbers using language equations.
UR - http://www.scopus.com/inward/record.url?scp=37249047954&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-74510-5_19
DO - 10.1007/978-3-540-74510-5_19
M3 - Conference contribution
AN - SCOPUS:37249047954
SN - 9783540745099
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 168
EP - 181
BT - Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Proceedings
PB - Springer Nature
T2 - 2nd International Symposium on Computer Science in Russia, CSR 2007
Y2 - 3 September 2007 through 7 September 2007
ER -
ID: 78926459