ABSTRACT
As we have remarked earlier, finite automata may be regarded as heterogeneous or multi-based algebras, and all the theory developed in Chapters 1, 3 and 4 regarding subalgebras, quotients and homomorphic images may be extended to this setting. In this section we develop this theory for the particular case of finite automata, beginning with the concept of a subautomaton.
