Connection To Category Theory
One can define several distinct categories of automata following the automata classification into different types described in the previous section. The mathematical category of deterministic automata, sequential machines or sequential automata, and Turing machines with automata homomorphisms defining the arrows between automata is a Cartesian closed category, it has both categorical limits and colimits. An automata homomorphism maps a quintuple of an automaton Ai onto the quintuple of another automaton Aj. Automata homomorphisms can also be considered as automata transformations or as semigroup homomorphisms, when the state space,S, of the automaton is defined as a semigroup Sg. Monoids are also considered as a suitable setting for automata in monoidal categories.
- Categories of variable automata
One could also define a variable automaton, in in the sense of Norbert Wiener in his book on "Human Use of Human Beings" via the endomorphisms . Then, one can show that such variable automata homomorphisms form a mathematical group. In the case of non-deterministic, or other complex kinds of automata, the latter set of endomorphisms may become, however, a variable automaton groupoid. Therefore, in the most general case, categories of variable automata of any kind are categories of groupoids or groupoid categories. Moreover, the category of reversible automata is then a 2-category, and also a subcategory of the 2-category of groupoids, or the groupoid category.
Read more about this topic: Automata Theory
Famous quotes containing the words connection, category and/or theory:
“It may comfort you to know that if your child reaches the age of eleven or twelve and you have a good bond or relationship, no matter how dramatic adolescence becomes, you children will probably turn out all right and want some form of connection to you in adulthood.”
—Charlotte Davis Kasl (20th century)
“The truth is, no matter how trying they become, babies two and under dont have the ability to make moral choices, so they cant be bad. That category only exists in the adult mind.”
—Anne Cassidy (20th century)
“We commonly say that the rich man can speak the truth, can afford honesty, can afford independence of opinion and action;and that is the theory of nobility. But it is the rich man in a true sense, that is to say, not the man of large income and large expenditure, but solely the man whose outlay is less than his income and is steadily kept so.”
—Ralph Waldo Emerson (18031882)