arXiv subjects

Igor Rystsov

Publications and source records attributed to Igor Rystsov.

3 recordsLinked to original sources

arXiv2025

Cerny type automata and rank conjecture

The aim of this paper is to prove the \v{C}ern\'y conjecture and the rank conjecture for \v{C}ern\'y type automata and monoids. A transformation monoid is said to be \v{C}ern\'y type if it is generated by a simple idempotent and a regular group of permutations. We prove \v{C}ern\'y conjecture for the \v{C}ern\'y type synchronizing automata and the rank conjecture for the \v{C}ern\'y type transformation monoids. In particular, we obtain the tight bound for the reset threshold of \v{C}ern\'y type synchronizing monoids.

cs.FL↗

arXiv2023

Reset thresholds of transformation monoids

Motivated by the \v{C}ern\'y conjecture for automata, we introduce the concept of monoidal automata, which allows the formulation of the \v{C}ern\'y conjecture for monoids. We show upper bounds on the reset threshold of monoids with certain properties. In particular, we obtain a quadratic upper bound if the transformation monoid contains a primitive group of permutations and a singular of maximal rank with only one point of contraction.

cs.FL↗

arXiv2023

Primitive Automata that are Synchronizing

A deterministic finite (semi)automaton is primitive if its transition monoid (semigroup) acting on the set of states has no non-trivial congruences. It is synchronizing if it contains a constant map (transformation). In analogy to synchronizing groups, we study the possibility of characterizing automata that are synchronizing if primitive. We prove that the implication holds for several classes of automata. In particular, we show it for automata whose every letter induce either a permutation or a semiconstant transformation (an idempotent with one point of contraction) unless all letters are of the first type. We propose and discuss two conjectures about possible more general characterizations.

cs.FL↗