Скобелєв В. Г. Аналіз автоматно-алгебраїчних моделей

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