Abstract:Finitely many two-way automata work independently and synchronously on a unary input. Some of their states are broadcasting, i.e., dispatched to all other automata. At each step of the computation, each automaton changes state and moves right, left or stay in place according to the current state and the possible messages dispatched. The input is recognized if the following occurs: starting from the initial configuration (the heads of all automata are positioned to the left end of the tape) one automaton reaches a final state when its head is positioned to the right end of the tape. We show that if the number of messages sent during the computation is bounded by some integer which is independent of the length of the input, then the language recognized is regular,

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the communication complexity of multiautomata systems when processing unary inputs. Specifically, the author studied the communication behavior of multiple two - way automata when working synchronously and independently processing the same input. These automata can broadcast messages to other automata in each computation step and change their own states and movement directions according to the received messages and the current state. The core problem of the paper is: **If the number of messages sent during the computation is limited to an integer range independent of the input length, whether the languages recognized by such multiautomata systems are regular languages or not.** ### Main Contributions 1. **Recognition Conditions of Regular Languages**: The author proved that if the number of messages is limited to a fixed integer \(M\) during the computation, then the languages recognized by the multiautomata system must be regular languages. This shows that the upper limit of communication complexity has a direct impact on the language recognition ability. 2. **Impact of Message Complexity**: Research shows that when the message complexity (i.e., the number of messages) is strictly limited, the computing power of the system will decrease significantly, and thus only regular languages can be recognized. This conclusion is of great significance for understanding the computing power and limitations of multiautomata systems. 3. **Application of Presburger Formulas**: The author proved the above conclusion by constructing Presburger formulas to describe the recognition conditions of the input length \(N\). Presburger formulas are a special type of logical expressions that can effectively describe linear relationships in integer sets. ### Related Theorems - **Theorem 1**: For every integer \(M\), the unary languages recognized by deterministic two - way multiautomata exchanging \(M\) messages are regular languages. The proof of this theorem is based on constructing a Presburger formula, whose only free variable is \(N\), indicating whether the input length \(N\) can be recognized by the multiautomata system. ### Conclusions This research reveals the computing power of multiautomata systems under restricted communication conditions, especially the fact that they can only recognize regular languages. This provides important insights for understanding the communication mechanisms between finite - state machines and their impact on computing power.

Message complexity for unary multiautomata systems

Topological Entropy and Complexity of One Class of Cellular Automata Rules

Deterministic pushdown automata and unary languages

Unary languages recognized by two-way one-counter automata

Descriptional Complexity of Finite Automata -- Selected Highlights

Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata

Primitive Automata that are Synchronizing

Complexity of Unary Exclusive Nondeterministic Finite Automata

The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition

The Word Problem for Finitary Automaton Groups

Canonical Algebraic Generators in Automata Learning

Synchronizing random automata through repeated 'a' inputs

Ambiguity through the lens of measure theory

The Freeness Problem for Automaton Semigroups

$μ$-Limit Sets of Cellular Automata from a Computational Complexity Perspective

Alternating Nominal Automata with Name Allocation

Language Acceptors with a Pushdown: Characterizations and Complexity

The Complexity of Satisfiability Checking for Symbolic Finite Automata

Algebraic Language Theory with Effects

Symbolic Automata: $ω$-Regularity Modulo Theories

A Note on Pushdown Automata Systems