Семинар DataMod на SEFM-2017

Семинар DataMod на SEFM-2017

Илья Закирзянов и Владимир Ульянцев посетили с докладом семинар DataMod, прошедший в рамках конференции SEFM-2017 по формальным методам в разработке программного обеспечения. В работе "Finding all minimum-size DFA consistent with given examples" были представлены новые результаты по исследованиям в области грамматического вывода.

Предложен новый алгоритм синтеза конечных автоматов по примерам поведения, основанный на использовании эффективных методов решения задачи о выполнимости. Основным отличием метода от известных является возможность получения всех возможных минимальных автоматов, удовлетворяющих исходным данным.

Статья выйдет в печати в сборнике Lecture Notes in Computer Science.

59b26851a0ea2.png