Илья Закирзянов и Владимир Ульянцев посетили с докладом семинар DataMod, прошедший в рамках конференции SEFM-2017 по формальным методам в разработке программного обеспечения. В работе "Finding all minimum-size DFA consistent with given examples" были представлены новые результаты по исследованиям в области грамматического вывода.
Предложен новый алгоритм синтеза конечных автоматов по примерам поведения, основанный на использовании эффективных методов решения задачи о выполнимости. Основным отличием метода от известных является возможность получения всех возможных минимальных автоматов, удовлетворяющих исходным данным.
Статья выйдет в печати в сборнике Lecture Notes in Computer Science.
https://research.jetbrains.org/news/datamod-seminar-at-sefm-2017