The main aim of this book is a presentation of Kleene's algebraic theory of machines. To this end, we begin by formalizing the notion of machine. Then we present Moore's identification theory of machines, which logically seems to precede the Kleene theory.

Download File Size:4.24 MB

---