Skip to main content
SpringerLink
Log in

A Descriptive Characterisation of Even Linear Languages

  • Published:
Grammars

Abstract

We show that the even linear languages are characterised by a certain extension of the signature of the monadic second-order logic used by Büchi (1960) and Elgot (1961) to characterise the regular languages.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Amar, V. and G. Putzolu. On a family of linear grammars, Information and Control, 7: 283'291, 1964.

    Google Scholar 

  • Amar, V. and G. Putzolu. Generalizations of regular events, Information and Control, 8: 56'63, 1965.

    Google Scholar 

  • Büchi, J.R. Weak second-order arithmetic and finite automata, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 6: 66'92, 1960.

    Google Scholar 

  • Elgot, C.C. Decision problems of finite automata design and related arithmetics, Transactions of the American Mathematical Society, 98: 21'52, 1961.

    Google Scholar 

  • Hopcroft, J.E. and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison'Wesley, 1979.

  • Lautemann, C., T. Schwentick and D. Thérien. Logics for context-free languages. In Pacholsky, L. and J. Tiuryn, editors, Computer Science Logic, LNCS 933: Springer-Verlag, pp. 205'216, 1995.

  • Sempere, J.M. and P. García. A Characterization of Even Linear Languages and its Application to the Learning Problem. Proceedings of the Second International Colloquium, ICGI-94. LNAI 862: Springer-Verlag, pp. 38'44, 1994.

  • Takada, Y. Grammatical inference for even linear languages based on control sets, Information Processing Letters, 28: 193'199, 1988.

    Google Scholar 

  • Thomas, W. Languages, Automata and Logic. In Rozenberg, G. and A. Salomaa, editors, Handbook of Formal Languages, vol. 3, Springer-Verlag, 1997.

Download references

Author information

Authors and Affiliations

  1. Department of Linguistics, University of Oslo, P.O. Box 1102 Blindern, N-0317, Oslo, Norway

    Tore Langholm

  2. Department of Informatics, University of Bergen, P.O. Box 7800, N-5020, Bergen, Norway

    Marc Bezem

Authors
  1. Tore Langholm
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marc Bezem
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Langholm, T., Bezem, M. A Descriptive Characterisation of Even Linear Languages. Grammars 6, 169–181 (2003). https://doi.org/10.1023/B:GRAM.0000016586.10841.cd

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:GRAM.0000016586.10841.cd

Search

Navigation