Careful Synchronization of One-Cluster Automata
Formal Languages and Automata Theory
2023-11-28 v1 Computational Complexity
Abstract
In this paper we investigate careful synchronization of one-cluster partial automata. First we prove that in general case the shortest carefully synchronizing word for such automata is of length , where is the number of states of an automaton. Additionally we prove that checking whether a given one-cluster partial automaton is carefully synchronizing is NP-hard even in the case of binary alphabet.
Keywords
Cite
@article{arxiv.2311.15020,
title = {Careful Synchronization of One-Cluster Automata},
author = {Jakub Ruszil},
journal= {arXiv preprint arXiv:2311.15020},
year = {2023}
}
Comments
1 pages, 4 figures