Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Сверхслова. Символическая динамика

Слова и их бесконечные аналоги — сверхслова, помимо логики и алгебры, изучаются и в теории динамических систем: если в дискретные моменты времени с ограниченной точностью регистрируются состояния системы, возникает сверхслово. В широком классе ситуаций это сверхслово оказывается почти периодическим, то есть содержит частые повторения любого слова, которое встречается в нем бесконечное число раз. Логикой сверхлов занимались А. Л. Семенов, Ан. А. Мучник и их ученик Юрий Львович Притыкин, выпускник нашей кафедры. После защиты кандидатской диссертации в МГУ он получил степень PhD в Принстонском университете и теперь занимается в США математическими проблемами биологии. Работы С. И. Адяна, А. Л. Семенова и их учеников в последние годы получили продолжение в результатах федерального профессора математики Алексея Яковлевича Канеля-Белова и его учеников.