Анотація. Досліджено структуру сімей автоматів без виходу, які визначено рекурентними співвідношеннями на абстрактних скінченних квазігрупах. Обґрунтовано доцільність їхнього використання для побудови сімей ітерованих геш-функцій з достатньо високою обчислювальною стійкістю. Показано, як на базі цих сімей автоматів без виходу можна побудувати сім’ї оборотних автоматів Мілі та Мура. Обґрунтовано доцільність використання запропонованих сімей автоматів Мілі та Мура для побудови математичних моделей потокових шифрів.

Ключові слова: скінченні квазігрупи, автомати без виходу, автомати Мілі та Мура.