English

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 2n2+12^\frac{n}{2} + 1, where nn 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