The book is devoted to the investigation of algebraic structure. The emphasis is on the algebraic nature of real automation, which appears as a natural three-sorted algebraic structure, that allows for a rich algebraic theory. Based on a general category position, fuzzy and stochastic automata are defined. The final chapter is devoted to a database automata model. Database is defined as an algebraic structure and this allows us to consider theoretical problems of databases.
Part 1 Pure automata: main notions; universal automata; moors automata; constructions; decomposition of finite pure automata; free pure automata; generalizations. Part 2 Linear automata: main properties; constructions; decompositions of linear automata and biautomata; automorphisms of linear automata. Part 3 Varieties of automata: identities of pure automata; varieties of pure automata; identities of linear automata and biautomata; varieties of biautomata; quasivarieties of automata. Part 4 Automaton's model of databases: *-automata; polyadic and cylindric algebras; universal *-automaton; databases; dynamical databases.