Abstract:International Journal of Foundations of Computer Science, Ahead of Print. Single-tape nondeterministic Turing machines that are allowed to replace the symbol in each tape cell only when it is scanned for the first time are also known as [math]-limited automata. These devices characterize, exactly as finite automata, the class of regular languages. However, they can be extremely more succinct. Indeed, in the worst case, the size gap from [math]-limited automata to one-way deterministic finite automata is double exponential. Here we introduce two restricted versions of [math]-limited automata, once-marking[math]-limited automata and always-marking[math]-limited automata, and study their descriptional complexity. We prove that once-marking [math]-limited automata still exhibit a double exponential size gap to one-way deterministic finite automata. However, their deterministic restriction is polynomially related in size to two-way deterministic finite automata, in contrast to deterministic [math]-limited automata, whose equivalent two-way deterministic finite automata in the worst case are exponentially larger. For always-marking [math]-limited automata, we prove that the size gap to one-way deterministic finite automata is only a single exponential. The gap remains exponential even in the case the given machine is deterministic. We obtain other size relationships between different variants of these machines and finite automata and we present some problems that deserve investigation.

An Analysis of On-the-fly Determinization of Finite-state Automata

Descriptional Complexity of Determinization and Complementation for Finite Automata

Blow-up in Non-Deterministic Automata

Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata

Random Deterministic Automata With One Added Transition

Deterministic pushdown automata and unary languages

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

Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata

Fibrational perspectives on determinization of finite-state automata

Bounded Determinization of Timed Automata with Silent Transitions

Deterministic automata simulation, universality and minimality

i dfa: A novel deterministic finite automaton without state explosion

Discrete Abstraction Of Multiaffine Systems

Finite automata over structures

Exact descriptional complexity of determinization of input-driven pushdown automata

Computing and Proving Well-founded Orderings through Finite Abstractions

A lower bound on the state complexity of transforming two-way nondeterministic finite automata to unambiguous finite automata

On Stochastic Automata over Monoids

Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis

Once-Marking and Always-Marking [math]-Limited Automata

Decision Problems For Finite Automata Over Infinite Algebraic Structures