Задача построения детерминированного конечного автомата минимального размера является фундаментальной в области грамматического вывода и имеет широкое практическое применение. Подход к решению данной задачи на основе сведения к задаче выполнимости булевых формул (SAT) считается одним из самых эффективных. В данном докладе предлагаются модификации данного подхода, использующие предположения при запуске программных средств для решения SAT.
Закирзянов И.Т. (науч. рук. Ульянцев В.И.) Построение минимального ДКА на основе сведения к SAT с использованием предположений // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/4279