Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects