українська

Анотація:У монографії проблеми синтезу й ідентифікації скінченних автоматів розглядаються з єдиного погляду як проблеми відновлення автомата за заданою частковою поведінкою. Уведено загальне поняття дескриптора автомата, що задає цю поведінку, і розглянуто його окремі випадки. Основна увага приділена досить широкому виду дескрипторів – поданню автомата фрагментами. Воно дозволяє на єдиній методологічній основі досліджувати як класичні експерименти з автоматами, так і їх нетрадиційні узагальнення. Розроблено математичний аппарат дослідження поданя, і на його основі отримано критерії існування, описано структуру, запропоновано методи побудови, визначено складність подань, а також класичних і нетрадиційних експериментів.