Abstract:
We study the behavior of finite automata in automaton labyrinths. We introduce the concept of a test experiment with labyrinths. We obtain sharp and asymptotic estimates for the least length of test experiments with strongly connected automaton labyrinths.