Название спецкурса на русском языке
Полугруппы и автоматы
Перевод названия курса на английский язык
Semigroups and automata
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра теоретической информатики]
Семестр
Полгода (осень)
Тип курса
Курс научно-естественного содержания
Учебный год
2023/24
День недели
вторник
Время
18:30-20:05
Формат проведения
В аудитории
Аудитория
1320
Аннотация
В спецкурсе излагаются основы алгебраической теории автоматов. Знакомство с алгебраической теорией полугрупп: полурешётки, вполне простые и вполне 0-простые полугруппы. Решётки, связанные с полугруппами: решётка подполугрупп, решётка идеалов, решётка правых (левых) идеалов, решётка (правых, левых, двусторонних) конгруэнций. Полигон над полугруппой как алгебраическая модель автомата. Полигоны над полугруппами разных классов: полигоны над группами, над полурешётками, вполне (0-)простыми полугруппами. Алгебраические конструкции для полигонов: прямое произведение, копроизведение, тензорное произведение. Решётка конгруэнций полигона. Полигоны с условиями на конгруэнции: условия минимальности, дистрибутивность, модулярность, выполнение решёточных тождеств.
Дополнительная информация
Первое занятие 13.09