Unambiguous Conjunctive Grammars over a One-Letter Alphabet

  • Artur Jeż
  • Alexander Okhotin
Conference paper

DOI: 10.1007/978-3-642-38771-5_25

Volume 7907 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Jeż A., Okhotin A. (2013) Unambiguous Conjunctive Grammars over a One-Letter Alphabet. In: Béal MP., Carton O. (eds) Developments in Language Theory. DLT 2013. Lecture Notes in Computer Science, vol 7907. Springer, Berlin, Heidelberg

Abstract

It is demonstrated that unambiguous conjunctive grammars over a unary alphabet Σ = {a} have non-trivial expressive power, and that their basic properties are undecidable. The key result is that for every base \(k \geqslant 11\) and for every one-way real-time cellular automaton operating over the alphabet of base-k digits \(\big\{\lfloor\frac{k+9}{4}\rfloor, \ldots, \lfloor\frac{k+1}{2}\rfloor\big\}\), the language of all strings an with the base-k notation of the form 1w1, where w is accepted by the automaton, is generated by an unambiguous conjunctive grammar. Another encoding is used to simulate a cellular automaton in a unary language containing almost all strings. These constructions are used to show that for every fixed unambiguous conjunctive language L0, testing whether a given unambiguous conjunctive grammar generates L0 is undecidable.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Artur Jeż
    • 1
    • 2
  • Alexander Okhotin
    • 3
  1. 1.Max-Planck-Institut für InformatikSaarbrückenGermany
  2. 2.Institute of Computer ScienceUniversity of WrocławPoland
  3. 3.Department of Mathematics and StatisticsUniversity of TurkuFinland