Implementation of the algorithm for testing an automaton for synchronization in linear expected time
Formal Languages and Automata Theory
2017-10-03 v1
Abstract
Berlinkov has suggested an algorithm that, given a deterministic finite automaton , verifies whether or not is synchronizing in linear (of the number of states and letters) expected time. We present a modification of Berlinkov's algorithm which we have implemented and tested. Our experiments show that the implementation outperforms the standard quadratic algorithm even for automata of modest size and allow us to give a statistically accurate approximation of the ratio of non-synchronizing automata amongst all automata with a given number of states.
Keywords
Cite
@article{arxiv.1710.00258,
title = {Implementation of the algorithm for testing an automaton for synchronization in linear expected time},
author = {Pavel Ageev},
journal= {arXiv preprint arXiv:1710.00258},
year = {2017}
}