Abstract:Deterministic and nondeterministic finite automata with translucent letters were introduced by Nagy and Otto more than a decade ago as Cooperative Distributed systems of a kind of stateless restarting automata with window size one. These finite state machines have a surprisingly large expressive power: all commutative semi-linear languages and all rational trace languages can be accepted by them including various not context-free languages. While the nondeterministic variant defines a language class with nice closure properties, the deterministic variant is weaker, however it contains all regular languages, some non-regular context-free languages, as the Dyck language, and also some languages that are not even context-free. In all those models for each state, the letters of the alphabet could be in one of the following categories: the automaton cannot see the letter (it is translucent), there is a transition defined on the letter (maybe more than one transitions in nondeterministic case) or none of the above categories (the automaton gets stuck by seeing this letter at the given state and this computation is not accepting). State-deterministic automata are recent models, where the next state of the computation determined by the structure of the automata and it is independent of the processed letters. In this paper our aim is twofold, on the one hand, we investigate state-deterministic finite automata with translucent letters. These automata are specially restricted deterministic finite automata with translucent letters. In the other novel model we present, it is allowed that for a state the set of translucent letters and the set of letters for which transition is defined are not disjoint. One can interpret this fact that the automaton has a nondeterministic choice for each occurrence of such letters to see them (and then erase and make the transition) or not to see that occurrence at that time. Based on these semi-translucent letters, the expressive power of the automata increases, i.e., in this way a proper generalization of the previous models is obtained.

Silent Transitions in Automata with Storage

The Emptiness Problem for Valence Automata over Graph Monoids

On the capabilities of grammars, automata, and transducers controlled by monoids

State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters

On Transition Constructions for Automata -- A Categorical Perspective

State Grammars with Stores

On Shuffling and Splitting Automata

Monoid automata for displacement context-free languages

Language Acceptors with a Pushdown: Characterizations and Complexity

Symbolic Automata: $ω$-Regularity Modulo Theories

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)

Semilinearity and Context-Freeness of Languages Accepted by Valence Automata

A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage

Constructive Analysis of S1S and Büchi Automata

Context-Free Grammars with Storage

Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Turing Automata and Graph Machines

Logic of Transition Systems

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters

On Stochastic Automata over Monoids