О сложности перехода к правильному линейному виду

Данная работа посвящена изучению правильного линейного вида для регулярных языков с полиномиальной функцией роста и улучшению соответствующих оценок на сложность перехода от линейного вида к правильному линейному виду. Удалось понизить ранее известную из работы [1] оценку $ n^2 $ до оценки $ \frac{n^2}{2} + n $. Так же получена верхняя оценка $ \frac{n^2}{4} $ для языков вида $ \beta^*_1 \beta^*_2 ... \beta^*_s $, в которых слова $ \beta^*_i $ соизмеримы.