Мучнікова Л. А. Контрольні експерименти з груповими aвтоматами. - Рукопис. Дисертація на здобутгя наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.01 теоретичні основи інформатики та кібернетики. - Інститут кібернетики імені В.М.Глушкова НАК України, Київ, 2006. Дисертаційну роботу присвячено дослідженню структурних, складностевих та алгоритмічних властивостей контрольних експериментів відносно нескінченного класу групових автоматів. Введено новий тип експериментів з автоматами, так звані контрольні розмічені експерименти, які узагальнюють класичні контрольні експерименти і існують у випадку нескінчешіих класів автоматів. Показана можливість редукції нескінченної множини розмічених експериментів до так званих циклічних експериментів і доведений відповідний критерій для контрольних експериментів. Запропоновано новий спосіб задания автомату у вигляді визначальної пари множин циклічних слів автомату і знайдено зв'язок визначальної пари з алгебраїчними властивостями автомата. Доведено теореми характеризації контрольних циклічних експериментів, які зв'язують їх з визначальними парами, спеціальними груповими замиканнями фрагментів поведінки, фрагментами інформаційних дерев автоматів. Отримано досяжні оцінки кратності та довжини мінімальних контрольних циклічних експериментів, вперше ДІЮ такого типу оцінок знайдено множину можливих значень довжини таких експериментів в залежності від параметрів автомату. Розроблено алгоритми побудови мінімальних контрольних циклічних експериментів і знайдено оцінку їх складності, а також розроблено алгоритми побудови визначальних пар, синтезу автомату по визначальній парі, яка його задає, рекурсивного алгоритму побудови визначальних співвідношень опорної групи автомату. Ключові слова: груповий автомат, контрольний розмічений експеримент, циклічне слово, визначальна пара, групове замикання, зрізане дерево, кратність, довжина експерименту, дерево досяжності.