|
СЕМИНАРЫ |
Петербургский семинар по теории представлений и динамическим системам
|
|||
|
Алгоритмическая разрешимость проблем периодичности и равномерной рекуррентности подстановочных систем и схемы Рози И. В. Митрофанов Московский государственный университет имени М. В. Ломоносова |
|||
Аннотация: Рассмотрим подстановку и бесконечное морфическое слово, ей отвечающее. Естественно возникают вопросы алгоритмической разрешимости проблем периодичности и равномерной рекуррентности соответстствующих слов, а также совпадения языков, образованных конечными словами для разных систем. Доклад посвящён решению проблем периодичности и равномерной рекуррентности. Доказательство основано на результате о периодичности схем Рози, полученном автором и А.Я.Беловым. Этот результат о периодичности можно рассматривать как обобщение теоремы Вершика-Лившица. Получен также своего рода аналог теоремы Вершика-Лившица для многомерных слов. |