Abstract
We show that it is decidable in exponential time whether the lexicographic ordering of a context-free language is scattered, or a well-ordering.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blum, N., Koch, R.: Greibach normal form transformation. Information and Computation 150, 112–118 (1999) (revisited)
Braud, L., Carayol, A.: Linear orders in the pushdown hierarchy. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 88–99. Springer, Heidelberg (2010)
Bloom, S.L., Ésik, Z.: Regular and Algebraic Words and Ordinals. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 1–15. Springer, Heidelberg (2007)
Bloom, S.L., Ésik, Z.: Algebraic ordinals. Fundamenta Informaticæ 99, 383–407 (2010)
Bloom, S.L., Ésik, Z.: Algebraic linear orderings. In: Int. J. Foundations of Computer Science (to appear)
Caucal, D.: On infinite graphs having a decidable monadic theory. Theoretical Computer Science 290, 79–115 (2003)
Ésik, Z.: Algebraic and context-free linear orderings. Slides Presented at, Workshop on Higher-Order Recursion Schemes & Pushdown Automata, Paris, March 10–12 (2010), http://www.liafa.jussieu.fr/~serre/WorkshopSchemes/
Ésik, Z., Iván, S.: Büchi context-free languages. Theoretical Computer Science 412, 805–821 (2011)
Ésik, Z.: An undecidable property of context-free linear orders. Information Processing Letters 111, 107–109 (2001)
Lothaire, M.: Combinatorics on Words. Cambridge University Press, Cambridge (1997)
Rosenstein, J.G.: Linear Orderings. Pure and Applied Mathematics, vol. 98. Academic Press, New York (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ésik, Z. (2011). Scattered Context-Free Linear Orderings. In: Mauri, G., Leporati, A. (eds) Developments in Language Theory. DLT 2011. Lecture Notes in Computer Science, vol 6795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22321-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-22321-1_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22320-4
Online ISBN: 978-3-642-22321-1
eBook Packages: Computer ScienceComputer Science (R0)