Если он равен всегда {a,b}, то это отрицательным образом сказывается на проверке гипотезы, если, например, мы пересекаем что-то с регуляркой в более широком алфавите. Пусть будет {a,b} по умолчанию, а если есть явные вхождения других регулярок, то {a,b}, объединённым с алфавитом этих регулярок.
Дедлайнеры, фиксим это тоже до релиза ) Надеюсь, больше таких фиксов не будет.
И ещё: при пересечении автоматов может получиться очень большая ловушка (был замечен чистый автомат-ловушка из 10 состояний). Это тоже нужно исправить.
Если он равен всегда
{a,b}, то это отрицательным образом сказывается на проверке гипотезы, если, например, мы пересекаем что-то с регуляркой в более широком алфавите. Пусть будет{a,b}по умолчанию, а если есть явные вхождения других регулярок, то{a,b}, объединённым с алфавитом этих регулярок.Дедлайнеры, фиксим это тоже до релиза ) Надеюсь, больше таких фиксов не будет.
И ещё: при пересечении автоматов может получиться очень большая ловушка (был замечен чистый автомат-ловушка из 10 состояний). Это тоже нужно исправить.