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
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.