Конечно-Автоматные Преобразования Строго Почти Периодических Последовательностей

Последовательности, Близкие К Периодическим

“…Теорема 4.1.1 [49], [12]. По x ∈ E A P и f R x невозможно алгоритмически определять какое-либо l pr(x).…”

“…Множество в T s полуалгебраическое, если оно является пересечением полуалгебраического множества в R s с тором T s . Теорема 1.6.3 [47]. Пусть V -s-мерный тор, x 0 -алгебраическая точка в V , f -сдвиг на вектор с алгебраическими координатами, все A i -полуалгебраические.…”

“…Доказательство теоремы 2.2.4, приведенное в [47], не эффективно в следующем смысле. Допустим, мы знаем x ∈ A P и регулятор R x .…”

“…Допустим, мы знаем x ∈ A P и регулятор R x . Тогда по теореме 2.2.4 существует оценка сверху на pr(M (x)), так как M (x) ∈ E A P, но доказательство из [47] не позволяет по имеющимся данным найти никакую такую оценку эффективно (и даже до некоторого момента не позволяло надеяться, что такой эффективный способ вообще существует).…”

“…Следующий эффективный вариант теоремы 2.2.4 был объявлен в [49] и доказан в [12]. Приведем план доказательства.…”