Synchronizing random automata through repeated 'a' inputs
Combinatorics
2023-07-26 v2 Formal Languages and Automata Theory
Probability
Abstract
In a recent article by Chapuy and Perarnau, it was shown that a uniformly chosen automaton on states with a -letter alphabet has a synchronizing word of length with high probability. In this note, we improve this result by showing that, for any , there exists a synchronizing word of length with probability . Our proof is based on two properties of random automata. First, there are words of length such that the expected number of possible states for the automaton, after inputting , is . Second, with high probability, each pair of states can be synchronized by a word of length .
Cite
@article{arxiv.2306.09040,
title = {Synchronizing random automata through repeated 'a' inputs},
author = {Anders Martinsson},
journal= {arXiv preprint arXiv:2306.09040},
year = {2023}
}
Comments
10 pages, no figures. comments welcome