© 1986

Semirings, Automata, Languages


Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 5)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Werner Kuich, Arto Salomaa
    Pages 1-4
  3. Werner Kuich, Arto Salomaa
    Pages 5-103
  4. Werner Kuich, Arto Salomaa
    Pages 104-294
  5. Werner Kuich, Arto Salomaa
    Pages 295-363
  6. Back Matter
    Pages 364-374

About this book


Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of "reasonably important" results is not possible within one volume. The purpose of this book is to develop the theory of automata and formal languages, starting from ideas based on linear algebra. By what was said above, it should be obvious that we do not intend to be encyclopedic. However, this book contains the basics of regular and context-free languages (including some new results), as well as a rather complete theory of pushdown automata and variations (e. g. counter automata). The wellknown AFL theory is extended to power series ("AFP theory"). Additional new results include, for instance, a grammatical characterization of the cones and the principal cones of context-free languages, as well as new decidability results.


Automatentheorie Maschinensprache Variable automata automata theory computer science formal language formal languages theoretical computer science

Authors and affiliations

  1. 1.Institut für Algebra und Diskrete Mathematik Abteilung Theoretische InformatikTechnische Universität WienWienAustria
  2. 2.Department of MathematicsUniversity of TurkuTurkuFinland

Bibliographic information

  • Book Title Semirings, Automata, Languages
  • Authors W. Kuich
    A. Salomaa
  • Series Title EATCS Monographs on Theoretical Computer Science
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-3-540-13716-0
  • Softcover ISBN 978-3-642-69961-0
  • eBook ISBN 978-3-642-69959-7
  • Series ISSN 1431-2654
  • Edition Number 1
  • Number of Pages X, 376
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Formal Languages
  • Buy this book on publisher's site
Industry Sectors
IT & Software