|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Предполные классы в классе конечных автоматов, содержащие автоматы с линейными выходамикурсовая работа (Специалист)
- Научный руководитель: Часовских А.А.
- Автор: Филиппова Ирина Сергеевна
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Кафедра математической теории интеллектуальных систем
- Год защиты: 2024
- Курс: 5
- Аннотация: В курсовой работе рассматривается замкнутый по операциям композиции класс конечных автоматов, в каждом состоянии которых реализуется линейная функция. С использованием собственной техники доказана теорема о том, что количество предполных классов в классе всех автоматов, содержащих рассматриваемый класс, континуально, что вытекает из работ А.А. Родина. Для доказательства этой теоремы автором курсовой работы рассмотрена группа периодических последовательностей из нулей и единиц по операции покомпонентной дизъюнкции. В этой группе были описаны максимальные собственные подгруппы. Мощность множества таких подгрупп оказалось континуальным. Затем автором курсовой работы показано, что каждой максимальной собственной подгруппе можно сопоставить предполный в классе конечных автоматов класс с требуемыми свойствами так, что все сопоставляемые предполные классы попарно различны, тем самым получить требуемый результат.
- Добавил в систему: Часовских Анатолий Александрович