Досліджено множини автоматів Мілі і Мура, які визначено на групах точок еліптичних кривих над скінченним полем. Охарактеризовано множини групових та приведених автоматів, а також множини еквівалентних станів автомата, який не є приведеним. Встановлено достатні умови при яких автомат не є сильно зв"язаним. Розв"язано задачу ідентифікації початкового стану автомата, а також задачу побудови точної імітаційної моделі автомата.
There are analyzed the sets of Mealy and Moore automata determined over groups of points of elliptic curves over finite field. There are characterized the sets of permutation and reduced automata as well as the sets of equivalent states of a non-reduced automaton. Sufficient conditions under which an automaton is not strongly connected are established. Problem of identification of initial state of an automaton as well as problem of design of simulation model for an automaton is resolved.
