This book is about Algorithmic State Machines (ASMs) and Finite State Machines (FSMs). It provides techniques for the design of very complex control units of digital systems with hardly any constrains on their size – namely the number of inputs, outputs and states. The models, method and