Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing)

Computers & Technology

Kwiatkowska, M. Z.

Shields, M. W.

Thomas, R. M.

Programming

Springer, Verlag

An introduction to automata theory (Computer science texts)

This book is an introduction to the elementary structure theory of finite state machines. After preliminary definitions, the book discusses what it means for one machine to implement another, using the notation of a realization, and in particular, the notion of machine reduction. Reference is made to the fact that machines form a category, with realizations as morphisms. Next, the serial and parallel composition of machines are looked at and it is shown that these operations satisfy certain algebraic relations up to isomorphism. The Hartmanis-Yoeli parallel and serial decomposition theorems, which depend on congruence relations of the state space of a machine are then presented. Subsequent chapters investigate the computation of the set of all such congruences, making use of the fact that they form a lattice. Finally, the lattice of congruences are used to analyze machine decomposition.

An Introduction to Automata Theory (Computer Science Texts)

Alfred Waller Ltd

Science & Math

Mathematics

Blackwell Scientific Publications

See the best price to sell, buy, or rent books by Shields, M. W.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Shields, M. W.