---
title: Finite Automata with Translucent Letters
url: https://www.emergentmind.com/topics/finite-automata-with-translucent-letters
type: topic
---

# Finite Automata with Translucent Letters

Searching arXiv for recent papers on finite automata with translucent letters and closely related variants.
arxiv.search(query="finite automata translucent letters", max_results=10, sort_by="submittedDate")
Finite automata with translucent letters are finite-state devices for **discontinuous input processing** in which the current state determines a set of letters that are **translucent**, hence invisible, at that moment. The machine skips the leftmost block of currently translucent letters, acts on the first visible letter, deletes that occurrence, and continues according to its operational mode. Introduced by Nagy and Otto and connected in origin to cooperative distributed systems of stateless restarting automata with window size one, these automata define language families that properly extend ordinary finite automata, include non-regular and even some non-context-free languages, and exhibit an unusually rich interaction among determinism, repeated sweeps, and state-dependent visibility [2309.02759][2409.06975].

## 1. Formal model and core mechanism

The standard returning model is the **nondeterministic finite automaton with translucent letters** (\(\mathrm{NFAwtl}\)), together with its deterministic restriction \(\mathrm{DFAwtl}\). In the formulation used in recent work, an \(\mathrm{NFAwtl}\) is a tuple
\[
A=(Q,\Sigma,\lhd,\tau,I,F,\delta),
\]
where \(Q\) is a finite state set, \(\Sigma\) is the input alphabet, \(\lhd\notin\Sigma\) is an end-of-tape marker, \(\tau:Q\to\mathcal P(\Sigma)\) is the translucency mapping, \(I\subseteq Q\) is the set of initial states, \(F\subseteq Q\) is the set of final states, and \(\delta:Q\times\Sigma\to\mathcal P(Q)\) is the transition relation, subject to
\[
a\in\tau(q)\Longrightarrow \delta(q,a)=\emptyset.
\]
Thus translucency and readability are disjoint in the original model [2409.06975].

The operational semantics is deletion-based. A configuration has the form \(qw\cdot\lhd\), with scanning conceptually restarted at the left end of the current residual word. If
\[
w=uav,\qquad u\in(\tau(q))^*,\qquad a\in\Sigma\setminus\tau(q),
\]
then \(a\) is the leftmost visible letter in state \(q\). If \(q'\in\delta(q,a)\), the automaton performs
\[
quav\cdot\lhd \;\vdash_A\; q'uv\cdot\lhd.
\]
Only the visible occurrence \(a\) is deleted; the skipped translucent prefix \(u\) remains. If the remaining word lies in \((\tau(q))^*\), then the end marker is effectively reached, and the computation accepts iff \(q\in F\); otherwise it rejects [2409.06975].

A closely related normal-form presentation dispenses with an explicit end marker and encodes translucency through undefined transitions. In that form, a jump step is written
\[
(s,xay)\circlearrowright (p,xy)
\]
iff \(p\in\delta(s,a)\) and no letter occurring in the skipped prefix \(x\) has a defined transition from \(s\). This formulation makes explicit that a letter is translucent in a state exactly when the automaton has no transition on it there [2309.02749].

The essential computational idea is therefore not one-way reading, but **state-dependent visibility plus deletion of the first visible symbol**. A symbol may be invisible in one state and later visible in another, so the same residual word can be exposed in different ways during a computation [2309.02759].

## 2. Returning, non-returning, and repetitive operation

The classical \(\mathrm{DFAwtl}/\mathrm{NFAwtl}\) are **returning**: after every deletion, scanning restarts from the left end of the residual input. Later work isolated two further operational dimensions: **non-returning** computation, where the head continues from the deletion point, and **repetitive** computation, where reaching the right end need not force immediate halting [2208.14729][2409.06975].

| Variant | Defining operational feature | Established relation |
|---|---|---|
| \(\mathrm{DFAwtl}/\mathrm{NFAwtl}\) | return to the left end after each deletion | base returning model |
| \(\mathrm{RDFAwtl}/\mathrm{RNFAwtl}\) | on \(\lhd\), may change state and continue on the same residual word | deterministic case strictly stronger than \(\mathrm{DFAwtl}\); nondeterministic case equivalent to \(\mathrm{NFAwtl}\) |
| \(\mathrm{nrDFAwtl}/\mathrm{nrNFAwtl}\) | after deletion, continue from the deletion point; on \(\lhd\), may accept, reject, or restart | strictly stronger than returning models |
| \(\mathrm{nr\text{-}nrDFAwtl}/\mathrm{nr\text{-}nrNFAwtl}\) | non-returning but non-repetitive | exactly the regular languages |

In the **non-returning** model, configurations record an internal head position, typically as \(xqw\cdot\lhd\), where \(x\) is the already-passed prefix and \(w\) is the unread suffix. If \(w=uav\) with \(u\in(\tau(q))^*\) and \(a\notin\tau(q)\), then deletion yields \(xuq'v\cdot\lhd\); the head remains at the deletion point rather than returning left. Only when the remaining suffix consists entirely of translucent letters does the machine consult its \(\lhd\)-action, which may accept, reject, or restart from the left of the remaining tape [2208.14729][2606.26683].

The repetitive returning model occupies an intermediate position. An \(\mathrm{RNFAwtl}\) replaces the final-state test at the end marker by a transition map
\[
\delta:Q\times(\Sigma\cup\{\lhd\})\to \mathcal P(Q)\cup\{\text{accept},\text{reject}\}.
\]
Hence, when \(w\in(\tau(q))^*\), the automaton may halt or may move to a new state \(q'\) and continue on the **same** residual word \(w\), again starting from the left. This change is enough to enlarge deterministic power, but not nondeterministic power [2409.06975].

A striking boundary result is that the purely **non-returning but non-repetitive** model collapses to regular languages. Thus the major increase in power does not come from non-returningness alone; it comes from combining selective visibility with controlled restarting regimes [2409.06975].

## 3. Expressive power and separations

Finite automata with translucent letters have a much larger expressive range than ordinary DFA and NFA. The nondeterministic model accepts **all commutative semi-linear languages** and **all rational trace languages**, including various languages that are not context-free. The deterministic model is weaker, but it still contains **all regular languages**, some non-regular context-free languages such as the one-type **Dyck language**, and also some languages that are not even context-free [2309.02759].

This already places the model outside the standard regular/context-free hierarchy. One deterministic example accepts a language whose intersection with the regular set \(a^*d^*c^*b^*\) is
\[
\{a^n d^n c^n b^n \mid n\ge 0\},
\]
showing that deterministic translucent-letter automata can enforce a non-context-free counting pattern. Another classical deterministic example accepts the one-type Dyck language using only two states by alternating between a state that must delete an opening symbol and a state in which openings are translucent and the first visible closing symbol is deleted [2309.02759].

Determinism and nondeterminism separate in the finite-state setting. A standard witness is
\[
L_\vee=\{\,w\in\{a,b\}^*\mid |w|_b=|w|_a \text{ or } |w|_b=2|w|_a\,\},
\]
which is accepted by an \(\mathrm{NFAwtl}\) but not by any deterministic returning repetitive model, hence not by \(\mathrm{RDFAwtl}\) either. The deterministic repetitive model nevertheless strictly exceeds \(\mathrm{DFAwtl}\): the language
\[
L_{\vee,c}=\{\,w\in\{a,b,c\}^*\mid |w|_c=1 \text{ and } |w|_a=|w|_b\,\}\cup\{\,w\in\{a,b\}^*\mid 2|w|_a=|w|_b\,\}
\]
is accepted by an \(\mathrm{RDFAwtl}\) but not by any \(\mathrm{DFAwtl}\). By contrast,
\[
\mathcal L(\mathrm{RNFAwtl})=\mathcal L(\mathrm{NFAwtl}),
\]
so repetitiveness adds no expressive power in the nondeterministic returning case [2409.06975].

The non-returning variants are strictly stronger than the returning ones. A canonical witness is
\[
\{a^n b^n c^n\mid n\ge 0\},
\]
which is accepted by an \(\mathrm{nrDFAwtl}\) but by no \(\mathrm{NFAwtl}\). In the standard construction, one sweep deletes one \(a\), one \(b\), and one \(c\), then a restart at \(\lhd\) begins the next cycle. This proves
\[
\mathcal L(\mathrm{DFAwtl})\subsetneq \mathcal L(\mathrm{nrDFAwtl}),\qquad
\mathcal L(\mathrm{NFAwtl})\subsetneq \mathcal L(\mathrm{nrNFAwtl})
\]
[2208.14729].

At the same time, the non-returning deterministic family remains restricted. It does not contain all rational trace languages; in particular \(L_\vee\notin\mathcal L(\mathrm{nrDFAwtl})\). Likewise, the nondeterministic non-returning family does not contain all deterministic linear languages: the language \(P_2\) generated by
\[
S\to \lambda,\qquad S\to aSc,\qquad S\to bSd
\]
is not in \(\mathcal L(\mathrm{nrNFAwtl})\) [2208.14729].

## 4. Quantitative measures and model refinements

A distinct line of work studies **how much** translucency is used in an accepting computation. In the normal-form presentation, the **jumping complexity** of a word is the minimum number of genuine jump steps among all accepting computations, and the machine-level function \(jc_M(n)\) or \(JC_M(n)\) measures the worst case over accepted words of length \(n\). For every automaton this quantity is at most linear, since each step deletes one symbol [2309.02749][2506.18393].

The first general result in this direction was that bounded jump use does not exceed regular power. For any finite automaton with translucent letters \(M\) and any constant \(c\), the language
\[
L(M,\le c)=\{w\in L(M)\mid jc_M(w)\le c\}
\]
is regular, and therefore
\[
JCL(1)=REG.
\]
However, the converse fails at the level of machine descriptions: a particular translucent-letter automaton may accept a regular language while requiring unboundedly many jumps on some accepted inputs [2309.02749].

For **deterministic** translucent-letter automata, the asymptotic behavior is much more rigid. The 2025 analysis proves that the jump complexity of a \(\mathrm{DFAwtl}\) is either bounded by a constant or linear; there is no genuinely intermediate asymptotic regime. It also gives a polynomial-time algorithm, with complexity
\[
O(\#(Q)^3\cdot \#(V)),
\]
to decide whether a given \(\mathrm{DFAwtl}\) has constant-bounded or linear jump complexity. In the constant-jump case, equivalence is decidable, and for binary alphabets the regularity problem for \(\mathrm{DFAwtl}\) is decidable in \(O(n^4)\) time. This stands in contrast to \(\mathrm{NFAwtl}\), for which regularity is known to be undecidable [2506.18393].

Two additional refinements reshape the theory in different directions. The first is the **state-deterministic** model (\(\mathrm{SFAwtl}\)), in which the next state depends only on the current state and not on which visible letter was processed. This model remains strong enough to accept the Dyck language and some non-context-free languages, but it does **not** contain all regular languages; \(a^*+b^*\) is an explicit counterexample. The second is the model with **nondeterministically translucent letters**, denoted \(\mathrm{NFAwntl}/\mathrm{DFAwntl}\), where a letter may be both translucent and readable in the same state. This properly generalizes the original model, but all accepted languages remain semilinear because every \(\mathrm{NFAwntl}\)-language has a letter-equivalent regular sublanguage [2309.02759].

## 5. Closure properties and decision problems

The language-theoretic behavior of translucent-letter automata is notably uneven. For the returning nondeterministic model, known closure properties include union, concatenation, Kleene star, inverse projections, disjoint shuffle, and commutative closure, whereas non-closure is known for intersection with regular languages, complementation, and non-erasing morphisms. A later result settled another longstanding question negatively: neither \(\mathcal L(\mathrm{DFAwtl})\) nor \(\mathcal L(\mathrm{NFAwtl})\) is closed under inverse non-erasing homomorphism. The proof uses the fact that every language in \(\mathcal L(\mathrm{NFAwtl})\) contains a letter-equivalent regular sublanguage, a property incompatible with the equal-length language \(\{a^n\# b^n\mid n\ge 0\}\) arising as an inverse image in the construction [2409.06975][2606.26683].

For the non-returning families, earlier work established that \(\mathcal L(\mathrm{nrNFAwtl})\) is closed under union and disjoint shuffle, while \(\mathcal L(\mathrm{nrDFAwtl})\) is closed under complementation and disjoint shuffle but is not closed under union, intersection, or alphabetic morphisms. Later work resolved a cluster of open problems: both \(\mathcal L(\mathrm{nrDFAwtl})\) and \(\mathcal L(\mathrm{nrNFAwtl})\) are **not closed** under concatenation, Kleene star, reversal, and inverse non-erasing homomorphism. In addition, \(\mathcal L(\mathrm{nrNFAwtl})\) is not closed under complementation [2208.14729][2606.26683].

The repetitive returning deterministic family \(\mathcal L(\mathrm{RDFAwtl})\) has its own closure profile. It is closed under complementation, left quotient by a single word, and disjoint shuffle, but not under union, intersection with regular languages, alphabetic morphisms, commutative closure, reversal, product, Kleene plus, Kleene star, or shuffle. Its nondeterministic counterpart inherits the closure properties of \(\mathcal L(\mathrm{NFAwtl})\) because the two classes are equal [2409.06975].

Decision problems are similarly split. Membership is efficiently decidable for deterministic models: for \(\mathrm{RDFAwtl}\), known algorithms give \(O(n\log n)\) time, and for \(\mathrm{nrDFAwtl}\) membership is decidable in
\[
O(n(\log n)^2)
\]
time, with the nondeterministic non-returning membership problem in \(\mathrm{NTIME}(n(\log n)^2)\). For \(\mathrm{RDFAwtl}\), emptiness, finiteness, and universality are decidable, and inclusion is undecidable; equivalence remains open in that setting. For non-returning automata, emptiness was long open, but is now decidable for both \(\mathrm{nrDFAwtl}\) and \(\mathrm{nrNFAwtl}\) via a bounded-sweep reduction to nondeterministic iterated uniform finite-state transducers [2409.06975][2208.14729][2606.26683].

## 6. Generalizations and broader significance

Two major extensions show that the translucent-letter mechanism is not an isolated curiosity. The first is the move from translucent **letters** to translucent **words**. In a finite automaton with translucent words (\(\mathrm{NFAwtw}/\mathrm{DFAwtw}\)), the invisible prefix must lie in \((\tau(q))^*\) for a finite prefix code \(\tau(q)\subseteq \Sigma^*\), rather than being formed letterwise. The letter model is recovered exactly as the length-\(1\) restriction: “the \(1\)-length-restricted NFAwtw is just the NFAwtl.” In the ordinary word-based model, every accepted language is semilinear because each language has a letter-equivalent regular sublanguage; but the **repetitive** word-based deterministic model already accepts the non-semilinear language
\[
\{(ab)^{2^n}\mid n\ge 1\},
\]
and emptiness for repetitive deterministic translucent-word automata is undecidable [2507.15315].

The second extension adds stack memory. The 2025 work on **input-driven pushdown automata with translucent input letters** preserves exactly the same visibility mechanism—state-dependent invisibility, repeated sweeps, and returning versus non-returning operation—while superimposing a visibly pushdown discipline. In that setting, deterministic and nondeterministic models separate, and non-returning computation is strictly stronger than returning computation. The paper explicitly presents this as a direct extension of the finite-automaton concept rather than a different idea [2507.15310].

These extensions clarify the theoretical role of translucency. A plausible implication is that the main computational resource is not merely deletion or restarting, but the ability to make symbols **invisible now and visible later** depending on state. In the finite-state case this yields a family with nontrivial expressiveness, delicate closure properties, and sharp deterministic–nondeterministic contrasts; in the word-based and pushdown-based cases the same mechanism can drive non-semilinearity, stronger separations, and harder undecidability phenomena [2507.15315][2507.15310].

Source: https://www.emergentmind.com/topics/finite-automata-with-translucent-letters