issues
search
OnionGrief
/
Chipollino
преобразования регулярных выражений и конечных автоматов
Other
18
stars
4
forks
source link
Bisimilarity + to_mfa_additional fixes
#331
Closed
xendalm
closed
4 months ago
xendalm
commented
5 months ago
Проверка на бисимилярность для автоматов с одной ячейкой
to_mfa_additional: исправлено вычисление ToReset в определенных условиях, расширено множество переходов
to_mfa: исправлено построение автомата для Type::eps
Fuzz-тестирование MFA
ACI-переписывание для регулярок