DYNAMIC ALLOCATION OF FINITE AUTOMATA STATES FOR FAST STRING RECOGNITION

2006 ◽  
Vol 17 (06) ◽  
pp. 1307-1323 ◽  
Author(s):  
ERNEST KETCHA NGASSAM ◽  
BRUCE W. WATSON ◽  
DERRICK G. KOURIE
Keyword(s):  
Finite Automaton ◽  
Finite Automata ◽  
Cache Memory ◽  
Dynamic State ◽  
Dynamic Allocation ◽  
Allocation Algorithm ◽  
Allocation Cost ◽  
Temporal Locality

The spatial and temporal locality of reference on which cache memory relies to minimize cache swaps, is exploited to design a new algorithm for finite automaton string recognition. It is shown that the algorithm, referred to as the Dynamic State Allocation algorithm outperforms the traditional table-driven algorithm for strings that tend to repeatedly access the same set of states, provided that the string is long enough to amortize the allocation cost. Further improvements on the algorithm result in even better performance.

Membership Problem for Two-Dimensional General Row Jumping Finite Automata

2020 ◽  
Vol 31 (04) ◽  
pp. 527-538
Author(s):  
Grzegorz Madejski ◽  
Andrzej Szepietowski
Keyword(s):  
Computational Model ◽  
Turing Machine ◽  
Finite Automaton ◽  
Finite Automata ◽  
The Other ◽  
Membership Problem ◽  
Two Dimensional ◽  
Np Complete ◽  
Nondeterministic Turing Machine ◽  
Membership Problems

Two-dimensional general row jumping finite automata were recently introduced as an interesting computational model for accepting two-dimensional languages. These automata are nondeterministic. They guess an order in which rows of the input array are read and they jump to the next row only after reading all symbols in the previous row. In each row, they choose, also nondeterministically, an order in which segments of the row are read. In this paper, we study the membership problem for these automata. We show that each general row jumping finite automaton can be simulated by a nondeterministic Turing machine with space bounded by the logarithm. This means that the fixed membership problems for such automata are in NL, and so in P. On the other hand, we show that the uniform membership problem is NP-complete.

MAGIC NUMBERS FOR SYMMETRIC DIFFERENCE NFAS

2005 ◽  
Vol 16 (05) ◽  
pp. 1027-1038 ◽  
Author(s):  
LYNETTE VAN ZIJL
Keyword(s):  
Finite Automaton ◽  
Finite Automata ◽  
Symmetric Difference ◽  
Magic Numbers ◽  
Deterministic Finite Automaton ◽  
Nondeterministic Finite Automata ◽  
Binary Case ◽  
Nondeterministic Finite Automaton

Iwama et al. showed that there exists an n-state binary nondeterministic finite automaton such that its equivalent minimal deterministic finite automaton has exactly 2n - α states, for all n ≥ 7 and 5 ≤ α ≤ 2n-2, subject to certain coprimality conditions. We investigate the same question for both unary and binary symmetric difference nondeterministic finite automata. In the binary case, we show that for any n ≥ 4, there is an n-state symmetric difference nondeterministic finite automaton for which the equivalent minimal deterministic finite automaton has 2n - 1 + 2k - 1 - 1 states, for 2 < k ≤ n - 1. In the unary case, we consider a large practical subclass of unary symmetric difference nondeterministic finite automata: for all n ≥ 2, we argue that there are many values of α such that there is no n-state unary symmetric difference nondeterministic finite automaton with an equivalent minimal deterministic finite automaton with 2n - α states, where 0 < α < 2n - 1. For each n ≥ 2, we quantify such values of α precisely.

DETERMINATIONS OF WEIGHTED FINITE AUTOMATA OVER COMMUTATIVE IDEMPOTENT MF-SEMIRINGS

2012 ◽  
Vol 22 (03) ◽  
pp. 1250020
Author(s):  
YONG HE ◽  
GONGCAI XIN ◽  
ZHIXI WANG
Keyword(s):  
Finite Automaton ◽  
Finite Dimension ◽  
Finite Automata ◽  
Commutative Semiring ◽  
Special Cases ◽  
Weighted Finite Automata

The semirings admitting maximal factorizations of any finite dimension are called MF-semirings. We first show that a commutative semiring K is an MF-semiring if and only if K admits a maximal factorization of dimension n ≥ 2, and if and only if K is a multiplicatively cancellative semiring satisfying the g.c.d. condition. And then, by using above result, we prove that a weighted finite automaton [Formula: see text] over a commutative idempotent MF-semiring has a determination if [Formula: see text] has the victory property and twins property. Also, some special cases are considered.

STATE COMPLEXITY OF ADDITIVE WEIGHTED FINITE AUTOMATA

2007 ◽  
Vol 18 (06) ◽  
pp. 1407-1416 ◽  
Author(s):  
KAI SALOMAA ◽  
PAUL SCHOFIELD
Keyword(s):  
Upper Bound ◽  
Finite Automaton ◽  
Regular Language ◽  
Finite Automata ◽  
The State ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Weighted Finite Automata

It is known that the neighborhood of a regular language with respect to an additive distance is regular. We introduce an additive weighted finite automaton model that provides a conceptually simple way to reprove this result. We consider the state complexity of converting additive weighted finite automata to deterministic finite automata. As our main result we establish a tight upper bound for the state complexity of the conversion.

On the power of two-way multihead quantum finite automata

2019 ◽  
Vol 53 (1-2) ◽  
pp. 19-35 ◽  
Author(s):  
Amandeep Singh Bhatia ◽  
Ajay Kumar
Keyword(s):  
Prime Number ◽  
Finite Automaton ◽  
Finite Automata ◽  
Language Recognition ◽  
Quantum Finite Automata ◽  
Recognition Capability

This paper introduces a variant of two-way quantum finite automata named two-way multihead quantum finite automata. A two-way quantum finite automaton is more powerful than classical two-way finite automata. However, the generalizations of two-way quantum finite automata have not been defined so far as compared to one-way quantum finite automata model. We have investigated the newly introduced automata from two aspects: the language recognition capability and its comparison with classical and quantum counterparts. It has been proved that a language which cannot be recognized by any one-way and multi-letter quantum finite automata can be recognized by two-way quantum finite automata. Further, it has been shown that a language which cannot be recognized by two-way quantum finite automata can be recognized by two-way multihead quantum finite automata with two heads. Furthermore, it has been investigated that quantum variant of two-way deterministic multihead finite automata takes less number of heads to recognize a language containing of all words whose length is a prime number.

Describing Groups

2007 ◽  
Vol 13 (3) ◽  
pp. 305-339 ◽  
Author(s):  
André Nies
Keyword(s):  
Finite Automaton ◽  
Finite Automata ◽  
Finite Alphabet ◽  
Prime Model ◽  
Finitely Generated ◽  
Ring Of Integers ◽  
Group Operation ◽  
First Order

AbstractTwo ways of describing a group are considered. 1. A group is finite-automaton presentable if its elements can be represented by strings over a finite alphabet, in such a way that the set of representing strings and the group operation can be recognized by finite automata. 2. An infinite f.g. group is quasi-finitely axiomatizable if there is a description consisting of a single first-order sentence, together with the information that the group is finitely generated. In the first part of the paper we survey examples of FA-presentable groups, but also discuss theorems restricting this class. In the second part, we give examples of quasi-finitely axiomatizable groups, consider the algebraic content of the notion, and compare it to the notion of a group which is a prime model. We also show that if a structure is bi-interpretable in parameters with the ring of integers, then it is prime and quasi-finitely axiomatizable.

SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA

2014 ◽  
Vol 25 (07) ◽  
pp. 877-896 ◽  
Author(s):  
MARTIN KUTRIB ◽  
ANDREAS MALCHER ◽  
MATTHIAS WENDLANDT
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Finite Automaton ◽  
Finite Automata ◽  
Upper And Lower Bounds ◽  
Unary Languages ◽  
Order Of Magnitude ◽  
Simulation Results ◽  
Special Case ◽  
Nondeterministic Finite Automaton

We investigate the descriptional complexity of deterministic one-way multi-head finite automata accepting unary languages. It is known that in this case the languages accepted are regular. Thus, we study the increase of the number of states when an n-state k-head finite automaton is simulated by a classical (one-head) deterministic or nondeterministic finite automaton. In the former case upper and lower bounds that are tight in the order of magnitude are shown. For the latter case we obtain an upper bound of O(n2k) and a lower bound of Ω(nk) states. We investigate also the costs for the conversion of one-head nondeterministic finite automata to deterministic k-head finite automata, that is, we trade nondeterminism for heads. In addition, we study how the conversion costs vary in the special case of finite and, in particular, of singleton unary lanuages. Finally, as an application of the simulation results, we show that decidability problems for unary deterministic k-head finite automata such as emptiness or equivalence are LOGSPACE-complete.

An Efficient Dynamic Allocation Algorithm for Virtual Machines in Heterogeneous Server Environment

2016 ◽  
Vol 22 (9) ◽  
pp. 2509-2513
Author(s):  
Junho Eum ◽  
Hongjae Kim ◽  
Minsoo Yang ◽  
Sangyoon Oh
Keyword(s):  
Virtual Machines ◽  
Dynamic Allocation ◽  
Allocation Algorithm

scholarly journals Languages recognized by nondeterministic quantum finite automata

2010 ◽  
Vol 10 (9&10) ◽  
pp. 747-770
Author(s):  
Abuzer Yakaryilmaz ◽  
A.C. Cem Say
Keyword(s):  
Finite Automaton ◽  
Finite Automata ◽  
Space Complexity ◽  
Complexity Classes ◽  
Language Recognition ◽  
Closure Properties ◽  
Quantum Finite Automata ◽  
Sublogarithmic Space

The nondeterministic quantum finite automaton (NQFA) is the only known case where a one-way quantum finite automaton (QFA) model has been shown to be strictly superior in terms of language recognition power to its probabilistic counterpart. We give a characterization of the class of languages recognized by NQFAs, demonstrating that it is equal to the class of exclusive stochastic languages. We also characterize the class of languages that are recognized necessarily by two-sided error by QFAs. It is shown that these classes remain the same when the QFAs used in their definitions are replaced by several different model variants that have appeared in the literature. We prove several closure properties of the related classes. The ramifications of these results about classical and quantum sublogarithmic space complexity classes are examined.

Sign in / Sign up

Export Citation Format

Share Document