Skip to main content

Save up to 30% on Elsevier print and eBooks with free shipping. No promo code needed.

Save up to 30% on print and eBooks.

Theory of Automata

  • 1st Edition - January 1, 1969
  • Author: Arto Salomaa
  • Editors: I. N. Sneddon, M. Stark, J. P. Kahane
  • Language: English
  • eBook ISBN:
    9 7 8 - 1 - 4 8 3 1 - 5 4 3 9 - 8

Theory of Automata deals with mathematical aspects of the theory of automata theory, with emphasis on the finite deterministic automaton as the basic model. All other models, such… Read more

Theory of Automata

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

Institutional subscription on ScienceDirect

Request a sales quote
Theory of Automata deals with mathematical aspects of the theory of automata theory, with emphasis on the finite deterministic automaton as the basic model. All other models, such as finite non-deterministic and probabilistic automata as well as pushdown and linear bounded automata, are treated as generalizations of this basic model. The formalism chosen to describe finite deterministic automata is that of regular expressions. A detailed exposition regarding this formalism is presented by considering the algebra of regular expressions. This volume is comprised of four chapters and begins with a discussion on finite deterministic automata, paying particular attention to regular and finite languages; analysis and synthesis theorems; equivalence relations induced by languages; sequential machines; sequential functions and relations; definite languages and non-initial automata; and two-way automata. The next chapter describes finite non-deterministic and probabilistic automata and covers theorems concerning stochastic languages; non-regular stochastic languages; and probabilistic sequential machines. The book then introduces the reader to the algebra of regular expressions before concluding with a chapter on formal languages and generalized automata. Theoretical exercises are included, along with ""problems"" at the end of some sections. This monograph will be a useful resource for beginning graduate or advanced undergraduates of mathematics.