Annote + Linearize Fix

[xendalm]

Можно начинать исправлять функции :)

[mathhyyn]

буду кидать сюда напоминалки беды Linearize:

• [x] 1.

N2 = Minimize.Glushkov.Linearize {(a*a*)*} !!

N2 = Reverse.Thompson.Linearize {(aa|ab)*} !!

• [x] 2.

  N2 = Minimize.Reverse.Thompson {(aa|ab)*} !!

  

  N2 = Minimize.DeAnnote.Reverse.Annote.Thompson.Linearize {(aa|ab)*} !!

  они должны быть разными?

• [x] 3. DeLinearize после преобразования в автомат не работает

  N2 = DeLinearize.Thompson.Linearize {(aa|ab)*} !!

  

  4. тайпчекер сообщает о том, что

• [x] регулярка осталась неизменной, то есть `Equal {(aa|ab)} (Linearize {(aa|ab)*})` оказалось true (в интерпретаторе правда такой функции нет)
• [x] * автомат после DeLinearize изменился, но на деле этого не видно

[mathhyyn]

Проверить, когда пофиксят Arden:

• [x] 1.

  N = DeLinearize.Arden.Annote.Thompson {(aa|ab)*} !!

  N = DeAnnote.Arden.Annote.Thompson {(aa|ab)*} !!

• [x] 2.

  N = DeLinearize.Arden.Thompson.Linearize {(aa|ab)*} !!

• [x] 3.

  N = DeLinearize.DeAnnote.DeLinearize.Arden.Annote.Thompson.Linearize.Linearize {(aa|ab)*} !!

• [x] 4.

N = DeLinearize.Disambiguate.Linearize {abc} !!

[mathhyyn]

ужас! а это еще до ардена не добрались