Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change

2018 ◽  
Vol 29 (02) ◽  
pp. 213-231
Author(s):  
Christopher Czyba ◽  
Wolfgang Thomas ◽  
Christopher Spinrath
Keyword(s):  
Finite Automata ◽  
Local Change ◽  
Closure Properties ◽  
Open Issues

Two models of automata over infinite alphabets are presented, mainly with a focus on the alphabet [Formula: see text]. In the first model, transitions can refer to logic formulas that connect properties of successive letters. In the second, the letters are considered as columns of a labeled grid which an automaton traverses column by column. Thus, both models focus on the comparison of successive letters, i.e. “local changes”. We prove closure (and non-closure) properties, show the decidability of the respective non-emptiness problems, prove limits on decidability results for extended models, and discuss open issues in the development of a generalized theory.

Preface

1997 ◽  
Vol 11 (07) ◽  
pp. 1023-1024
Author(s):  
Serge Miguet ◽  
Annick Montanvert ◽  
P. S. P. Wang
Keyword(s):  
Finite State Machine ◽  
Finite Automata ◽  
Upper Bounds ◽  
Two Dimensional ◽  
Turing Machines ◽  
Closure Properties ◽  
Working Space ◽  
Finite State ◽  
The Individual ◽  
Alternating Turing Machines

Several nonclosure properties of each class of sets accepted by two-dimensional alternating one-marker automata, alternating one-marker automata with only universal states, nondeterministic one-marker automata, deterministic one-marker automata, alternating finite automata, and alternating finite automata with only universal states are shown. To do this, we first establish the upper bounds of the working space used by "three-way" alternating Turing machines with only universal states to simulate those "four-way" non-storage machines. These bounds provide us a simplified and unified proof method for the whole variants of one-marker and/or alternating finite state machine, without directly analyzing the complex behavior of the individual four-way machine on two-dimensional rectangular input tapes. We also summarize the known closure properties including Boolean closures for all the variants of two-dimensional alternating one-marker automata.

GROUPS WITH INDEXED CO-WORD PROBLEM

2006 ◽  
Vol 16 (05) ◽  
pp. 985-1014 ◽  
Author(s):  
DEREK F. HOLT ◽  
CLAAS E. RÖVER
Keyword(s):  
Dynamical Systems ◽  
Large Class ◽  
Word Problem ◽  
Word Problems ◽  
Automorphism Groups ◽  
Finite Automata ◽  
Restricted Class ◽  
Closure Properties ◽  
Free Products ◽  
Thompson Groups

We investigate co-indexed groups, that is groups whose co-word problem (all words defining nontrivial elements) is an indexed language. We show that all Higman–Thompson groups and a large class of tree automorphism groups defined by finite automata are co-indexed groups. The latter class is closely related to dynamical systems and includes the Grigorchuk 2-group and the Gupta–Sidki 3-group. The co-word problems of all these examples are in fact accepted by nested stack automata with certain additional properties, and we establish various closure properties of this restricted class of co-indexed groups, including closure under free products.

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.

Quantum Automata with Open Time Evolution

2012 ◽  
pp. 74-89
Author(s):  
Mika Hirvensalo
Keyword(s):  
Time Evolution ◽  
Finite Automaton ◽  
Finite Automata ◽  
Quantum Evolution ◽  
Closure Properties ◽  
Probabilistic Measure ◽  
Quantum Automata ◽  
Open Quantum ◽  
Quantum Measure ◽  
Open Time

In this paper, a model for finite automaton with an open quantum evolution is introduced, and its basic properties are studied. It is shown that the (fuzzy) languages accepted by open evolution quantum automata obey various closure properties. More importantly, it is shown that major other models of finite automata, including probabilistic, measure once quantum, measure many quantum, and Latvian quantum automata can be simulated by the open quantum evolution automata without increasing the number of the states.

UNWEIGHTED AND WEIGHTED HYPER-MINIMIZATION

2012 ◽  
Vol 23 (06) ◽  
pp. 1207-1225 ◽  
Author(s):  
ANDREAS MALETTI ◽  
DANIEL QUERNHEIM
Keyword(s):  
Finite Automata ◽  
Reduction Technique ◽  
Regular Languages ◽  
Minimization Algorithm ◽  
Compression Method ◽  
Closure Properties ◽  
State Reduction ◽  
Deterministic Finite Automata ◽  
Input Strings ◽  
Weighted Finite Automata

Hyper-minimization of deterministic finite automata (DFA) is a recently introduced state reduction technique that allows a finite change in the recognized language. A generalization of this lossy compression method to the weighted setting over semifields is presented, which allows the recognized weighted language to differ for finitely many input strings. First, the structure of hyper-minimal deterministic weighted finite automata is characterized in a similar way as in classical weighted minimization and unweighted hyper-minimization. Second, an efficient hyper-minimization algorithm, which runs in time [Formula: see text], is derived from this characterization. Third, the closure properties of canonical regular languages, which are languages recognized by hyper-minimal DFA, are investigated. Finally, some recent results in the area of hyper-minimization are recalled.

Set Automata

2016 ◽  
Vol 27 (02) ◽  
pp. 187-214 ◽  
Author(s):  
Martin Kutrib ◽  
Andreas Malcher ◽  
Matthias Wendlandt
Keyword(s):  
Finite Automata ◽  
Point Of View ◽  
Storage Medium ◽  
Deterministic Finite Automaton ◽  
Closure Properties ◽  
Language Class ◽  
Trade Offs ◽  
Double Exponential ◽  
Order Of Magnitude ◽  
Context Free

We consider the model of deterministic set automata which are basically deterministic finite automata equipped with a set as an additional storage medium. The basic operations on the set are the insertion of elements, the removing of elements, and the test whether an element is in the set. We investigate the computational power of deterministic set automata and compare the language class accepted with the context-free languages and classes of languages accepted by queue automata. As result the incomparability to all classes considered is obtained. Furthermore, we examine the closure properties under several operations. Then we show that deterministic set automata may be an interesting model from a practical point of view by proving that their regularity problem as well as the problems of emptiness, finiteness, infiniteness, and universality are decidable. Finally, the descriptional complexity of deterministic and nondeterministic set automata is investigated. A conversion procedure that turns a deterministic set automaton accepting a regular language into a deterministic finite automaton is developed which leads to a double exponential upper bound. This bound is proved to be tight in the order of magnitude by presenting also a double exponential lower bound. In contrast to these recursive bounds we obtain non-recursive trade-offs when nondeterministic set automata are considered.

Watson–Crick Jumping Finite Automata: Combination, Comparison and Closure

2021 ◽  
Author(s):  
U K Mishra ◽  
K Mahalingam ◽  
R Rama
Keyword(s):  
Finite Automata ◽  
Closure Properties ◽  
Computing Power ◽  
New Model ◽  
Model Of Computation ◽  
Chomsky Hierarchy ◽  
Restricted Version ◽  
State 1

Abstract A new model of computation called Watson–Crick jumping finite automata was introduced by Mahalingam et al., and the authors study the computing power and closure properties of the variants of the model. There are four variants of the model: no state, 1-limited, all-final and simple Watson–Crick jumping finite automata. In this paper, we introduce a restricted version that is a combination of variants of the existing model. It becomes essential to explore the computing power and closure properties of these combinations. The combination variants are extensively compared with Chomsky hierarchy, general jumping finite automata family and among themselves. We also explore the closure properties of such restricted automata.

Automata theory based on unsharp quantum logic

2009 ◽  
Vol 19 (4) ◽  
pp. 737-756 ◽  
Author(s):  
YUN SHANG ◽  
XIAN LU ◽  
RUQIAN LU
Keyword(s):  
Quantum Logic ◽  
Finite Automata ◽  
Automata Theory ◽  
Quantum Structures ◽  
Closure Properties ◽  
Mv Algebra ◽  
Quantum Finite Automata ◽  
Distributive Law ◽  
Qmv Algebras ◽  
Mv Algebras

By studying two unsharp quantum structures, namely extended lattice ordered effect algebras and lattice ordered QMV algebras, we obtain some characteristic theorems of MV algebras. We go on to discuss automata theory based on these two unsharp quantum structures. In particular, we prove that an extended lattice ordered effect algebra (or a lattice ordered QMV algebra) is an MV algebra if and only if a certain kind of distributive law holds for the sum operation. We introduce the notions of (quantum) finite automata based on these two unsharp quantum structures, and discuss closure properties of languages and the subset construction of automata. We show that the universal validity of some important properties (such as sum, concatenation and subset constructions) depend heavily on the above distributive law. These generalise results about automata theory based on sharp quantum logic.

Sign in / Sign up

Export Citation Format

Share Document