Arden bug's

[xtoter]

    Возвращается `0` на эквивалентности двух одинаковых выражений:

X = Arden.Antimirov (a|)(ab||ba)*(a|) !!
Y = Arden.IlieYu (a|)(ab|ba)*(a|) !!
Equiv X Y !!

Причём вот на таком запуске:

X = Antimirov (a|)(ab||ba)*(a|) !!
Y = IlieYu (a|)(ab|ba)*(a|) !!
Equiv X Y !!

получается 1, что очевидно правильно, т.к. там вообще одинаковые автоматы.

Originally posted by @TonitaN in #169 (comment)

[xtoter]

#169 (comment)

[mathhyyn]

N1 = Arden.Glushkov {bb*a(|a*|b(a|b(|a)))*} !!
Equiv N1 {bb*a(|a*|b(a|b(|a)))*}

если убрать кэширование, результат false

аналогично:

N1 = Arden.Glushkov {bb*a(a|b(b*a)((b|a)))*} !!
Equiv N1 {bb*a(a|b(b*a)((b|a)))*}