automation

(redirected from Automata theory)
Also found in: Dictionary, Thesaurus, Financial, Encyclopedia, Wikipedia.
Related to Automata theory: Finite automata

automation

(ot″ŏ-mā′shŏn)
An automatically controlled operation of an apparatus or system by mechanical or electronic devices that take the place of human elements of observation, effort, and decision making.

laboratory automation

The use of clinical laboratory instruments that assay large numbers of samples with minimal human intervention.
References in periodicals archive ?
Automata theory based on complete residuated lattice-valued logic.
Examples of proposed waterfall model are types of normal forms in database domain, types of grammars in automata theory domain, etc.
The proposed approach to tackling the problem of the group formation is a hybrid approach mixing the well-established automata theory, virtual grid, and the newly proposed dynamic leadership.
There is promising work toward relating automata theory with neural networks, or logics with such networks.
Interestingly, our solution depends on trading some group theory for automata theory. The dependence of M on the symmetries of f in the "purely group-theoretic" approaches of Clarke et al.
Chapter 2 by Robert Marks mainly reviews the work on repeated games that is done using automata theory. Moore machines, the most popular form of automaton used in the game theory literature, are explained.
He has made contributions to automata theory and the asymptotic analysis of algorithms, and his current interests include solid modeling, graphics, computer-aided design, and robotics.
Questions about synchronization of finite automata have been studied since the early times of automata theory. The basic concept is very natural: For a given machine, we want to find an input sequence that gets the machine to some particular state, no matter in which state the machine was before.
In the world of contemporary mathematics the use of algebraic structures in computer science control theory and fuzzy automata theory always gain the interest of researchers.
To study quantum computation, Ying [20, 21] first proposed automata theory based on quantum logic where quantum automata are defined to be orthomodular lattice-valued generalization of classical automata.
Based on the resource space model and cellular automata theory, the integrated framework of metallurgical equipment information space is built.
His colleagues in the international computer science community build on his contributions to mathematical models for simultaneously-executed computations re: Petri's net theory, automata theory, distributed systems, integrated systems models, and computation tree logics.