Skip to main content
SpringerLink
Log in

Semitopological semirings and pushdown automata

  • Published:
Mathematical systems theory Aims and scope Submit manuscript

Abstract

This paper deals with algebraic power series over a commutative semiringA. A characteristization result states that a power series is algebraic if and only if it is the behavior of a proper pushdown automaton.

To achieve this result some topological concepts are needed to be able to solve linear equations over semirings.

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

  1. M. A. Harrison,Introduction to Formal Language Theory, Addison-Wesley, 1978.

  2. J. L. Kelley,General Topology, Van Nostrand, 1955.

  3. W. Kuich, An algebraic characterization of some principal regulated rational cones,Journal of Computer and System Sciences, 25, 377–401 (1982).

    Google Scholar 

  4. A. Salomaa and M. Soittola,Automata-Theoretic Aspects of Formal Power Series, Springer, 1979.

Download references

Author information

Authors and Affiliations

  1. Institut für Angewandte und Numerische Mathematik, Austria

    W. Herfort

  2. Institut für Algebra und Diskrete Mathematik, Technische Universität, Wien, Austria

    W. Kuich

Authors
  1. W. Herfort
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. W. Kuich
    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

Herfort, W., Kuich, W. Semitopological semirings and pushdown automata. Math. Systems Theory 17, 279–291 (1984). https://doi.org/10.1007/BF01744445

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01744445

Keywords

Search

Navigation