Separating Words from Every Start State with Horner Automata
Formal Languages and Automata Theory
2023-09-07 v1
Abstract
We show that a well-known family of deterministic finite automata can be used to distinguish distinct binary strings of the same length from every start state. Further, we establish almost matching lower and upper bounds on the number of states of such automata necessary to achieve this type of separation. Our result improves the currently best known linear upper bound for arbitrary DFA.
Keywords
Cite
@article{arxiv.2309.02766,
title = {Separating Words from Every Start State with Horner Automata},
author = {Nicholas Tran},
journal= {arXiv preprint arXiv:2309.02766},
year = {2023}
}
Comments
In Proceedings AFL 2023, arXiv:2309.01126