Bounded Synchronization Delay in Omega-Rational Expressions
In 1965 Schützenberger published his famous result that star-free languages (SF) and aperiodic languages (AP) coincide over finite words, often written as SF = AP. Perrin generalized SF = AP to infinite words in the mid 1980s. In 1973 Schützenberger presented another (and less known) characterization of aperiodic languages in terms of rational expressions where the use of the star operation is restricted to prefix codes with bounded synchronization delay and no complementation is used. We denote this class of languages by SD. In this paper, we present a generalization of SD = AP to infinite words. This became possible via a substantial simplification of the proof for the corresponding result for finite words. Moreover, we show that SD = AP can be viewed as more fundamental than SF = AP in the sense that the classical 1965 result of Schützenberger and its 1980s extension to infinite words by Perrin are immediate consequences of SD = AP.
KeywordsLinear Temporal Logic Tense Logic Prefix Code Formal Language Theory Infinite Word
Unable to display preview. Download preview PDF.
- 3.Diekert, V., Gastin, P.: First-order definable languages. In: Logic and Automata: History and Perspectives. Texts in Logic and Games, pp. 261–306. Amsterdam University Press (2008)Google Scholar
- 4.Diekert, V., Kufleitner, M., Steinberg, B.: The Krohn-Rhodes Theorem and local divisors. arXiv, abs/1111.1585 (2011)Google Scholar
- 6.Kamp, J.A.W.: Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, California (1968)Google Scholar
- 7.McNaughton, R., Papert, S.: Counter-Free Automata. The MIT Press (1971)Google Scholar
- 8.Meyberg, K.: Lectures on algebras and triple systems. Technical report, University of Virginia, Charlottesville (1972)Google Scholar
- 13.Schützenberger, M.P.: Sur certaines opérations de fermeture dans les langages rationnels. In: Symposia Mathematica, Convegno di Informatica Teorica, INDAM, Roma, 1973, vol. XV, pp. 245–253. Academic Press, London (1975)Google Scholar