В настоящей работе определены и исследованы модели автоматов Мили и Мура, заданных рекуррентными соотношениями на конечных квазигруппах общего вида, а также на Т-квазигруппах. Предложенные в данной работе модели автоматов Мили, а также модели автоматов Мура, отличаются друг от друга независимым выбором левого, либо правого умножения состояния автомата на входной символ при определении функций переходов и выходов автомата. Показано, что предложенные автоматные модели являются обратимыми автоматами. Для каждой предложенной модели построен и исследован обратный автомат. Оценена временная сложность вычислений, осуществляемых предложенными автоматными моделями. Показана возможность применения предложенных автоматов Мили и Мура в качестве математических моделей поточных шифров, а также возможность применения соответствующих автоматов без выхода в качестве математических моделей криптографических хэш-функций.
У даній роботі визначено та досліджено моделі автоматів Мілі та Мура, які визначено рекурентними співвідношеннями на скінченних квазігрупах загального виду, а також на Т-квазігрупах. Моделі автоматів Мілі, а також моделі автоматів Мура, які запропоновано в даній роботі, відрізняються одна від одної незалежним вибором лівого, або правого множення с&тану автомату на вхідний символ при визначенні функцій переходів та виходів автомату. Встановлено, що запропоновані автоматні моделі є оборотними автоматами. Для кожної з запропонованих моделей побудовано та досліджено обернений автомат. Оцінена часо&ва складність обчислень, які здійснюють запропоновані автоматні моделі. Показана можливість застосування запропонованих автоматів Мілі та Мура у якості математичних моделей поточних шифрів, а також можливість застосування відповідних автоматів без ви&ходу у якості математичних моделей криптографічних геш-функцій.
In the given paper there are defined models of Mealy and Moore automata that are presented via recurrence relations over finite quasigroups of general type as well as of T-quasigroups. &Models of Mealy automata as well as of Moore automata proposed in the given paper differ from each other by independent choice of the left or right multiplication of the state of an automaton by the input symbol. It has been established that proposed& automata models are invertible ones. For each proposed model the inverse automaton has been designed. Time complexity for computations carried out by proposed automata models has been estimated. It has been illustrated the possibility of application& of proposed Moore and Mealy automata in the role of mathematical models of stream ciphers as well as the possibility of application of corresponding automata without output function in the role of mathematical models of cryptographic hash-functions.&
