|
|
Петербургский семинар по теории представлений и динамическим системам
15 апреля 2015 г. 17:00, г. Санкт-Петербург, ПОМИ, ауд. 311 (наб. р. Фонтанки, 27)
|
|
|
|
|
|
Алгоритмическая разрешимость проблем периодичности и равномерной рекуррентности подстановочных систем и схемы Рози
И. В. Митрофанов Московский государственный университет имени М. В. Ломоносова
|
Количество просмотров: |
Эта страница: | 222 |
|
Аннотация:
Рассмотрим подстановку и бесконечное морфическое слово, ей отвечающее. Естественно возникают вопросы алгоритмической разрешимости проблем периодичности и равномерной рекуррентности соответстствующих слов, а также совпадения языков, образованных конечными словами для разных систем. Доклад посвящён решению проблем периодичности и равномерной рекуррентности.
Доказательство основано на результате о периодичности схем Рози, полученном автором и А.Я.Беловым. Этот результат о периодичности можно рассматривать как обобщение теоремы Вершика-Лившица.
Получен также своего рода аналог теоремы Вершика-Лившица для многомерных слов.
|
|