Finite Automata

Regular price €117.99
Quantity:
Delivery/Collection within 10-20 working days
Shipping & Delivery
A01=Mark V. Lawson
algebraic approach to formal languages
algebraic automata theory
Author_Mark V. Lawson
automaton
Category=PBD
Category=PBF
Category=PBV
Cayley Table
computational theory
Congruence Classes
deterministic
Deterministic Automaton
discrete mathematics
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
exam
Extended Transition Function
Finite Monoid
Finite Semigroup
Homomorphic Image
homomorphism
Input Alphabet
Inverse Semigroups
Kleene Star
Kleene's Theorem
Kleene’s Theorem
language varieties
languages
Local Automaton
Mealy Machine
Minimal Automaton
monoid
Monoid Homomorphism
Moore Machine
Non-deterministic Automaton
Non-empty String
Nondeterministic Automaton
ple
Pumping Lemma
recognisable
Recognisable Language
Regular Expression
Semigroup Homomorphism
star-free languages
states
symbolic dynamics
terminal
Turing Machines
Vice Versa

Product details

  • ISBN 9781584882558
  • Weight: 750g
  • Dimensions: 156 x 234mm
  • Publication Date: 17 Sep 2003
  • Publisher: Taylor & Francis Inc
  • Publication City/Country: US
  • Product Form: Hardback
Secure checkout Fast Shipping Easy returns

Interest in finite automata theory continues to grow, not only because of its applications in computer science, but also because of more recent applications in mathematics, particularly group theory and symbolic dynamics. The subject itself lies on the boundaries of mathematics and computer science, and with a balanced approach that does justice to both aspects, this book provides a well-motivated introduction to the mathematical theory of finite automata.

The first half of Finite Automata focuses on the computer science side of the theory and culminates in Kleene's Theorem, which the author proves in a variety of ways to suit both computer scientists and mathematicians. In the second half, the focus shifts to the mathematical side of the theory and constructing an algebraic approach to languages. Here the author proves two main results: Schützenberger's Theorem on star-free languages and the variety theorem of Eilenberg and Schützenberger.

Accessible even to students with only a basic knowledge of discrete mathematics, this treatment develops the underlying algebra gently but rigorously, and nearly 200 exercises reinforce the concepts. Whether your students' interests lie in computer science or mathematics, the well organized and flexible presentation of Finite Automata provides a route to understanding that you can tailor to their particular tastes and abilities.

Lawson, Mark V.

More from this author