Finite Automata


Also found in: Dictionary.
Related to Finite Automata: Regular expression

Finite Automata

References in periodicals archive ?
The purpose of this paper is to introduce the primary algebraic structure of neutrosophic general finite automata and neutrosophic switchboard finite automata.
This is a new, purely mathematical approach, in terms of the theory of finite automata, to the problem considered in our paper.
A second difficulty arises if we try to avoid the difficulty just described by taking as our model, not finite automata, but Turing machines, which have potentially infinite capacity.
At first glance, these topics may seem unrelated, but, surprisingly enough, the theory of finite automata will serve as a natural guideline.
Then, in Section 4, we consider a family of unary promise problems given by Ambainis and Yakaryilmaz in [2], solvable by only two-state one-way quantum finite automata. On the other hand, for solving this family by the use classical automata, we show that the exact number of states for one-way/two-way deterministic/nondeterministic automata is the same.
The method of finite automata has researched in the regular expression matching system security for the wireless sensor networks, and matching performance is ignored to further discussion [11]; similarly, the evaluation of the performance based on the queue model in the wireless sensor network (WSN) has been discussed, but the system security matching method not to do more research [12]; therefore, we combined with the previous work, in this paper, the security matching method of finite automata, and the performance of the queuing model was discussed in WSN.
A great advantage of using finite automata is its support for formal verification.
The 11 lectures delivered during the July 2010 School introduce the modern theory of groups generated by finite automata, noncommutative calculus and operads, applications of noncommutative tori to number theory and physics, the construction of spectral triples, twisted bundles and twisted K-theory, and noncommuntative motives.
To extend control theory of discrete event systems (DESs) expressed by finite automata [1] to that of infinite-state DESs is one of the challenging topics.
Actually we implemented our theoretical model of finite automata (more powerful than the one presented in Benenson et al.
The work proposes the use of finite automata method Mealy apparatus--in describing the logical processes within a microprocessor device control-ling an electromechanical system.