?
Заметки и задачи о регулярных языках и конечных автоматах
М. :
МФТИ, 2019.
Рубцов А. А.
В пособии представлен традиционный материал для введения в теорию формальных языков и авотматов (о регулярных языках). Помимо классических вводных сюжетов в пособие вошли темы, часто не отражаемые в учебной литературе (особенно русскоязычной), которые однако важны для теории и практики. А именно, алгоритмы обработки текста на основе конечных автоматов, теорема Майхилла-Нероуда (критерий регулярности языка).
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Семенов А. Л., В кн.: Всемирный конгресс (26–30 июня 2023 г., Москва). Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения: Избранные труды.: М.: [б.и.], 2023. С. 390–405.
Добавлено: 13 марта 2024 г.
М.: Московский государственный технический университет им. Н.Э. Баумана, 2023.
Сборник содержит тезисы докладов, представленных на международной научно-технической конференции "Безопасные информационные технологии" (БИТ-2023), проходившей 1-2 ноября 2023 г. в Москве в МГТУ им. Н.Э.Баумана.
Тезисы публикуются в редакции научных руководителей или в авторской редакции при наличии ученой степени. ...
Добавлено: 16 февраля 2024 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Мещеряков М. В., Сухарев Л. А., Саранск: Изд-во Мордовского университета, 2018.
Книга является вводным курсом по теории формальных языков и конечных автоматов. В ней представлен основной материал дициплины, относящийся к математическим основам ряда синтаксических методов инорматики и программирования. Книга предназначена для студентов бакалавриата по направлениям подготовки: фундаментальная информатика и информационные технологии, прикладная математика и информатика, программная инженерия ...
Добавлено: 12 октября 2023 г.
Синцова К. А., Журнал "Inside", Россия, Санкт-Петербург 2021 № 5 С. 52–60
В работе решается задача построения и доказательства математической модели средства защиты информации с дискреционным видом доступа. Автор попытался структурировать ранее накопленные знания в области информационной безопасности, а также дополнить их математическими выкладками, что помогло сделать построение и доказательство модели более строгим и лаконичным. Работа будет полезна специалистам, занимающимся построением и доказательством безопасности модели компьютерных систем, ...
Добавлено: 3 декабря 2021 г.
Галатенко А. В., Кузовихина В. А., Программная инженерия 2021 № 3 С. 150–156
Введена формальная модель безопасности компьютерных систем, позволяющая отражать оперативность реакции на нарушения безопасности. Система задается автоматом, состояния которого разбиты на два класса — безопасные и небезопасные, и натуральным параметром k. Входная последовательность считается безопасной, только если длина непрерывной подпоследовательности небезопасных состояний не превосходит k. Исследованы свойства модели при вариации параметра k, а также сложность задачи ...
Добавлено: 16 июня 2021 г.
Крепс В. Л., Гаврилович М. Р., Математическая теория игр и ее приложения 2019 Т. 11 № 1 С. 21–38
Рассматриваются матричные игры с неполной информацией у обеих сторон и публичным сигналом о состоянии игры, представленным бинарным кодом фиксированной длины. Доступные игрокам стратегии ограничены возможностями конечных автоматов разных размеров: m для Игрока 1 и n для Игрока 2, причем m ≫ n. Получены оценки размеров m (нижняя граница) и n (верхняя граница), при которых исходная ...
Добавлено: 31 мая 2019 г.
Рубцов А. А., На правах рукописи, 2016.
В диссертации исследуется задача регулярной реализуемости, которая состоит в проверке пересечения фиксированного языка (параметра задачи) с регулярным языком на входе задачи. Основная часть работа посвящена исследованию вычислительной сложности задачи для КС-фильтров. ...
Добавлено: 1 ноября 2018 г.
Рубцов А. А., В кн.: Труды X международной конференции "Дискретные модели в теории управляющих систем". Москва и Подмосковье, 23-25 мая 2018 г.: М.: МАКС Пресс, 2018. С. 234–237.
Иерархия Хомского — хорошо известная иерархия формальных языков, основанная на формальных грамматиках. Однако эта иерархия покрывает лишь четыре класса формальных языков: регулярные, контекстно-свободные, контекстно-зависимые и рекурсивно-перечислимые.
В этой работе мы обобщаем понятие формальной грамматики. ...
Добавлено: 20 октября 2018 г.
Рубцов А. А., В кн.: Сборник научных трудов МФТИ "Модели и методы обработки информации".: Долгопрудный: МФТИ, 2016. С. 67–74.
В работе исследуются комбинаторные свойства детерминированных контекстно-свободных языков. Получена новая комбинаторная лемма, схожая по типу с леммами о накачке для КС-языков, а также получены комбинаторные свой ства, следующие из модифицированной известной техники, опирающейся на Кол могоровскую сложность. ...
Добавлено: 20 октября 2018 г.
Таранцова П. Д., Каленкова А. А., , in: Analysis of Images, Social Networks and Texts. 7th International Conference AIST 2018.: Springer, 2018. P. 274–280.
Добавлено: 15 октября 2018 г.
Рубцов А. А., , in: Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings.: Cham: Springer, 2018. P. 553–565.
Добавлено: 12 сентября 2018 г.