Description: The article is devoted to the computer-aided development of a UML-notation class states transitions model using the mathematical theory of Moor’s finite automata