Abstract:For the given non-unary input alphabet Σ, a maximal prefix code h mapping strings over Σ to binary strings, and an optimal deterministic finite automaton (DFA) A with n states recognizing a language L over Σ, we consider the problem of how many states we need for an automaton A′ that decides membership in h(L) , the binary coded version of L . Namely, A′ accepts binary inputs belonging to h(L) and rejects binary inputs belonging to h(LC) , where LC is the complement of L . The outcome on inputs that are not valid binary codes for any string in Σ⁎ can be arbitrary: A′ may accept, reject, or halt in a "don't care" state. We show that every optimal deterministic don't care finite automaton (dcDFA) A′ solving this promise problem uses at most (‖Σ‖−1)⋅n states but at least n states. In addition, we have established a kind of pseudo-isomorphism between such DFAs and dcDFAs. We also show that, for each non-unary input alphabet Σ, there exists a maximal binary prefix code h such that, for each n≥2 and for each N in range from n to (‖Σ‖−1)⋅n , there exists a language L over Σ such that the optimal DFA recognizing L uses exactly n states and every optimal dcDFA for solving the above promise problem uses exactly N states. Thus, we have the complete state hierarchy for deciding membership in the binary coded version of L , with no magic numbers in between the lower and upper bounds.

The State Complexity of Two Combined Operations: Star of Catenation and Star of Reversal

State Complexity of Catenation Combined with Star and Reversal

Two Variables Operation Continuity of Effect Algebras

State complexity of orthogonal catenation

Descriptional Complexity of Finite Automata -- Selected Highlights

Quotient Complexity of Star-Free Languages

State Complexity of Boolean Operations on Graph-Walking Automata

Performing Regular Operations with 1-Limited Automata

Symmetric Groups and Quotient Complexity of Boolean Operations

Operational State Complexity of Block Languages

State Complexity Characterizations of Parameterized Degree-Bounded Graph Connectivity, Sub-Linear Space Computation, and the Linear Space Hypothesis

Time complexity for deterministic string machines

On state complexity for subword-closed languages

Closure Properties of Subregular Languages Under Operations

The entanglement of some non-two-colorable graph states

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

Concatenation Operations and Restricted Variants of Two-Dimensional Automata

Quantum state representation based on combinatorial Laplacian matrix of star-relevant graph

State Complexity of Binary Coded Regular Languages

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

Towards the Automorphism Conjecture I: Combinatorial Control