№ | Дата |
Автор |
Заглавие |
---|
|
2004 |
Swirydowicz, Kazimierz |
Podstawy logiki modalnej / Kazimierz Swirydowicz ; red. Aleksandra Ratajczak ; Uniw. im. A. Mickiewicza w Poznaniu |
|
2012 |
Мельникова, Александра Александровна |
Базисные конечные автоматы и их применение в задачах исследования регулярных языков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Московский инженерно-физический институт] |
|
2013 |
Мельникова, Александра Александровна |
Базисный конечный автомат как инвариант регулярного языка : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Национальный исследовательский ядерный университет «МИФИ»] |
|
2014 |
Мельникова, Александра Александровна |
Базисные конечные автоматы : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Мельникова Александра Александровна ; [Национальный исследовательский ядерный университет "МИФИГ"] |
|
2002 |
Хопкрофт, Джон Э. |
Введение в теорию автоматов, языков и вычислений / Пер. с англ. Васылык О.И. и др.; Под ред. Ставровского А.Б |
|
2019 |
Солтис, Майкл |
Введение в анализ алгоритмов : [перевод с английского] / Майкл Солтис ; Калифорнийский университет Нормандские острова |
|
2008 |
Хопкрофт, Джон Э. |
Введение в теорию автоматов, языков и вычислений : перевод с английского / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман |
|
2010 |
Поваров, Григорий Андреевич |
Дескриптивная сложность некоторых преобразований регулярных языков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Поваров Григорий Андреевич ; Российская академия наук, Уральское отделение Институт математики и механики |
|
2016 |
Рубцов, Александр Александрович (математик) |
Исследование задачи регулярной реализуемости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Рубцов Александр Александрович ; [Московский физико-технический институт (государственный университет)] |
|
2016 |
Дергач, Петр Сергеевич |
Алфавитное кодирование регулярных языков с полиномиальной функцией роста : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.09 Дискретная математика и математическая кибернетика / Дергач Петр Сергеевич ; Московский государственный университет им. М. В. Ломоносова |
|
2011 |
Баумгертнер, Светлана Викторовна |
Мультиэвристический подход к звездно-высотной минимизации недетерминированных конечных автоматов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.18 / Баумгертнер Светлана Викторовна ; [Тольяттинский государственный университет] |
|
2015 |
Александров, Дмитрий Евгеньевич |
Сложность распознавания принадлежности слова регулярному языку в системах обнаружения вторжений : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальности 05.13.17 Теоретические основы информатики, 05.13.19 Методы и системы защиты информации, информационная безопасность / Александров Дмитрий Евгеньевич ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |