Есть ли улучшения в алгоритме Даны Англюин для изучения регулярных наборов

В своей основополагающей работе 1987 года Дана Англуин представляет алгоритм полиномиального времени для изучения DFA из запросов членства и теоретических запросов (контрпримеры к предлагаемому DFA). Она показывает, что если вы пытаетесь выучить минимальный DFA с состояниями, а ваш самый большой...