Returning Parallel Communicating Finite Automata with Communication Bounds: Hierarchies, Decidabilities, and Undecidabilities

2015 ◽  
Vol 26 (08) ◽  
pp. 1101-1126 ◽  
Author(s):  
Henning Bordihn ◽  
Martin Kutrib ◽  
Andreas Malcher
Keyword(s):  
Finite Automata ◽  
Computational Power ◽  
Deterministic Finite Automata ◽  
Initial States

Systems of deterministic finite automata communicating by sending their states upon request are investigated, when the amount of communication is restricted, that is, when the number of necessary communications during the computations of the system is bounded by a function depending on the length of the input. The computational power and decidability problems are studied for returning systems, where components are set back to their initial states after having answered communication requests. It is proved that an infinite, strict hierarchy of language families exists, induced by the number of messages sent by their most economical acceptors. It is shown that at least one gap in this hierarchy exists. Some levels in the hierarchy are investigated in more detail.

Descriptional Complexity of the Forever Operator

2019 ◽  
Vol 30 (01) ◽  
pp. 115-134 ◽  
Author(s):  
Michal Hospodár ◽  
Galina Jirásková ◽  
Peter Mlynárčik
Keyword(s):  
Regular Language ◽  
Finite Automata ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Descriptional Complexity ◽  
Trade Offs ◽  
Number Formula ◽  
Deterministic Automata ◽  
Initial States ◽  
Nondeterministic State

We examine the descriptional complexity of the forever operator, which assigns the language [Formula: see text] to a regular language [Formula: see text], and we investigate the trade-offs between various models of finite automata. We consider complete and partial deterministic finite automata, nondeterministic finite automata with single or multiple initial states, alternating, and Boolean finite automata. We assume that the argument and the result of this operation are accepted by automata belonging to one of these six models. We investigate all possible trade-offs and provide a tight upper bound for 32 of 36 of them. The most interesting result is the trade-off from nondeterministic to deterministic automata given by the Dedekind number [Formula: see text]. We also prove that the nondeterministic state complexity of [Formula: see text] is [Formula: see text] which solves an open problem stated by Birget [The state complexity of [Formula: see text] and its connection with temporal logic, Inform. Process. Lett. 58 (1996) 185–188].

scholarly journals Reversible parallel communicating finite automata systems

2021 ◽  
Vol 58 (4) ◽  
pp. 263-279
Author(s):  
Henning Bordihn ◽  
György Vaszil
Keyword(s):  
Finite Automata ◽  
Regular Languages ◽  
The Other ◽  
Deterministic Case ◽  
Computational Power ◽  
Deterministic Finite Automata ◽  
Relationship Of ◽  
The Relationship ◽  
Context Free

AbstractWe study the concept of reversibility in connection with parallel communicating systems of finite automata (PCFA in short). We define the notion of reversibility in the case of PCFA (also covering the non-deterministic case) and discuss the relationship of the reversibility of the systems and the reversibility of its components. We show that a system can be reversible with non-reversible components, and the other way around, the reversibility of the components does not necessarily imply the reversibility of the system as a whole. We also investigate the computational power of deterministic centralized reversible PCFA. We show that these very simple types of PCFA (returning or non-returning) can recognize regular languages which cannot be accepted by reversible (deterministic) finite automata, and that they can even accept languages that are not context-free. We also separate the deterministic and non-deterministic variants in the case of systems with non-returning communication. We show that there are languages accepted by non-deterministic centralized PCFA, which cannot be recognized by any deterministic variant of the same type.

DESCRIPTIONAL COMPLEXITY OF NFA OF DIFFERENT AMBIGUITY

2005 ◽  
Vol 16 (05) ◽  
pp. 975-984 ◽  
Author(s):  
HING LEUNG
Keyword(s):  
Finite Automata ◽  
Regular Languages ◽  
The Other ◽  
Deterministic Finite Automata ◽  
Descriptional Complexity ◽  
Nondeterministic Finite Automata ◽  
Initial States

In this paper, we study the tradeoffs in descriptional complexity of NFA (nondeterministic finite automata) of various amounts of ambiguity. We say that two classes of NFA are separated if one class can be exponentially more succinct in descriptional sizes than the other. New results are given for separating DFA (deterministic finite automata) from UFA (unambiguous finite automata), UFA from MDFA (DFA with multiple initial states) and UFA from FNA (finitely ambiguous NFA). We present a family of regular languages that we conjecture to be a good candidate for separating FNA from LNA (linearly ambiguous NFA).

Deterministic finite automata with recursive calls and DPDAs

2003 ◽  
Vol 87 (4) ◽  
pp. 187-193
Author(s):  
Jean H. Gallier ◽  
Salvatore La Torre ◽  
Supratik Mukhopadhyay
Keyword(s):  
Finite Automata ◽  
Deterministic Finite Automata

The detection and stabilisation of limit cycle for deterministic finite automata

2017 ◽  
Vol 91 (4) ◽  
pp. 874-886 ◽  
Author(s):  
Xiaoguang Han ◽  
Zengqiang Chen ◽  
Zhongxin Liu ◽  
Qing Zhang
Keyword(s):  
Limit Cycle ◽  
Finite Automata ◽  
Deterministic Finite Automata

Space-bounded OTMs and REG ∞

Computability ◽  
2021 ◽  
pp. 1-16
Author(s):  
Merlin Carl
Keyword(s):  
Complexity Theory ◽  
Turing Machine ◽  
Finite Automata ◽  
Regular Languages ◽  
The Other ◽  
Deterministic Finite Automata ◽  
Logarithmic Space ◽  
Working Space ◽  
Important Theorem

An important theorem in classical complexity theory is that REG = LOGLOGSPACE, i.e., that languages decidable with double-logarithmic space bound are regular. We consider a transfinite analogue of this theorem. To this end, we introduce deterministic ordinal automata (DOAs) and show that they satisfy many of the basic statements of the theory of deterministic finite automata and regular languages. We then consider languages decidable by an ordinal Turing machine (OTM), introduced by P. Koepke in 2005 and show that if the working space of an OTM is of strictly smaller cardinality than the input length for all sufficiently long inputs, the language so decided is also decidable by a DOA, which is a transfinite analogue of LOGLOGSPACE ⊆ REG; the other direction, however, is easily seen to fail.

Sign in / Sign up

Export Citation Format

Share Document