Skip to main content
SpringerLink
Log in
Book cover

Semirings, Automata, Languages

  • Book
  • © 1986

Overview

Authors:
  1. Werner Kuich

    1. Institut für Algebra und Diskrete Mathematik Abteilung Theoretische Informatik, Technische Universität Wien, Wien, Austria

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Arto Salomaa

    1. Department of Mathematics, University of Turku, Turku, Finland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Theoretical Computer Science. An EATCS Series (EATCS, volume 5)

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (4 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Introduction

    • Werner Kuich, Arto Salomaa
    Pages 1-4

  3. Linear Algebra

    • Werner Kuich, Arto Salomaa
    Pages 5-103

  4. Automata

    • Werner Kuich, Arto Salomaa
    Pages 104-294

  5. Algebraic Systems

    • Werner Kuich, Arto Salomaa
    Pages 295-363

  6. Back Matter

    Pages 364-374
    Download chapter PDF
Back to top

Keywords

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.

Authors and Affiliations

  • Institut für Algebra und Diskrete Mathematik Abteilung Theoretische Informatik, Technische Universität Wien, Wien, Austria

    Werner Kuich

  • Department of Mathematics, University of Turku, Turku, Finland

    Arto Salomaa

Bibliographic Information

  • Book Title: Semirings, Automata, Languages

  • Authors: Werner Kuich, Arto Salomaa

  • Series Title: Monographs in Theoretical Computer Science. An EATCS Series

  • DOI: https://doi.org/10.1007/978-3-642-69959-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-642-69961-0Published: 18 November 2011

  • eBook ISBN: 978-3-642-69959-7Published: 06 December 2012

  • Series ISSN: 1431-2654

  • Series E-ISSN: 2193-2069

  • Edition Number: 1

  • Number of Pages: X, 376

  • Topics: Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation