Sufficient conditions of optimality of the automaton part of the logical-dynamical system
scientific article; zbMATH DE number 6166387
scientific article