Search academic texts

Information × Registration Number 0406U005045, Candidate dissertation Status к.ф.-м.н. Date 08-12-2006 popup.evolution o Title Checking experiments for group automata Author Muchnikova Liliya Anatoliyevna, popup.head Kozlovskii Valerii Anatolievich popup.opponent Капітонова Юлія Володимирівна popup.opponent Грунський Ігор Сергійович Description Дисертація присвячена дослідженню структурних, складностевих та алгоритмічних властивостей контрольних експериментів відносно нескінченного класу групових автоматів. Введено новий тип експериментів з автоматами – контрольні розмічені експерименти, вивчення яких зведено до вивчення так званих циклічних експериментів. Запропоновано новий спосіб задання автомату у вигляді визначальної пари множин циклічних слів автомату, знайдено зв’язок визначальної пари з алгебраїчними властивостями автомата. Доведено теореми характеризації контрольних циклічних експериментів, які зв’язують їх з визначальними парами, спеціальними груповими замиканнями фрагментів поведінки, фрагментами інформаційних дерев автоматів. Отримано досяжні оцінки кратності та довжини мінімальних контрольних циклічних експериментів, знайдено множину можливих значень довжини таких експериментів. Розроблено алгоритми побудови мінімальних контрольних циклічних експериментів, побудови визначальних пар, синтезу автомату по визначальній парі, побудовивизначальних співвідношень опорної групи автомату. Registration Date 2006-12-08 popup.nrat_date 2020-04-04 Close