the theory of partial symmetries
Published by World
Scientific in 1998.
This book sets out
to develop the theory of inverse semigroups taking Ehresmann's
theory of ordered groupoids as its jumping off point. It
includes accounts of the theory of tiling semigroups,
introduced by Johannes Kellendonk, together with other
Published by CRC
Press in 2003.
This is a textbook
intended for both mathematicians and computer scientists. The
first half of the book, which is more CS oriented, deals with
Kleene's Theorem and minimisation; the second half of the
book, which is more maths oriented, deals with the
Eilenberg-Schutzenberger correspondence which links varieties
of regular languages with pseudovarieties of finite
monoids. A solution book is also available from
Networked and Embedded Control Systems
Edited by Dimitrios
Hristu-Varsakelis and William S. Levine, published by
Birkhauser in 2004.
I wrote the chapter
entitled Finite Automata, 117-143.