|
|
|
|
category of automata
|
(Definition)
|
|
| CategoryOfAbstractAutomata |
"category of automata" is owned by bci1.
|
|
(view preamble | get metadata)
See Also: quantum automata and computation, general system definitions, index of categories
| Other names: |
sequential machine category, automata category, abstract automata, robots, machines, category of sequential machines or automata |
| Also defines: |
stable automaton, categorical automaton, state semigroup, state space, category of reversible automata, category of abstract automata, automata homomorphisms, semigroup transformation, semigroup homomorphism, automata homomorphism, classical automaton, robot, sequential machine |
| Keywords: |
categories of automata and their transformations, algebraic theories, structure and semantics, universal Turing machines, variable automata, fuzzy automata, semigroups, semigroup homomorphisms, automata homomorphisms, Cartesian closed category |
|
|
Cross-references: groupoid category, 2-category of groupoids, subcategory, 2-category, structure, algebraic, groupoid, terms, subset, associates, configuration, universal Turing machines, variable, discrete, supercomputers, computers, real, semigroup, transformations, category, sufficient, definitions, commutativity, preserves, homomorphism, composition, automata, morphisms, automaton, components, diagram, square, commutative, consecutive, function, onto, transition function, states, mappings
There are 59 references to this entry.
This is version 44 of category of automata, born on 2008-07-13, modified 2009-02-26.
Object id is 10782, canonical name is CategoryOfAutomata.
Accessed 6165 times total.
Classification:
| AMS MSC: | 18B20 (Category theory; homological algebra :: Special categories :: Categories of machines, automata, operative categories) | | | 03D05 (Mathematical logic and foundations :: Computability and recursion theory :: Automata and formal grammars in connection with logical questions) | | | 03D10 (Mathematical logic and foundations :: Computability and recursion theory :: Turing machines and related notions) | | | 18C10 (Category theory; homological algebra :: Categories and theories :: Theories , structure, and semantics) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
