Поисковый запрос: (<.>U=81'32(043)<.>) |
Общее количество найденных документов : 11
Показаны документы с 1 по 10 |
|
1. 
| АР96-1907
Пентус, М. Р.
Исчисление Ламбека и формальные грамматики [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. Р. Пентус. - М., 1996. - 12 с.
В надзаг. :МГУ им.М.В.Ломоносова, Мех.-мат.фак. Библиогр.:с. 11-12 (6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| Ар05-4683
Семынина, Т. В.
Разработка категорных средств анализа формальных языков на основе теории конических типов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Т. В. Семынина. - Воронеж, 2005. - 17 c. - Библиогр.: с. 16-17(10 назв.). - 90 экз.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| Ар09-4753
Сеченова, Е. Г.
Статистико-вероятностная модель гендерообусловленного авторского "Я" в научном дискурсе [Текст] : автореф. дис. ... канд. филолог. наук : 10.02.21 / Е. Г. Сеченова. - Тюмень, 2009. - 25 с : ил. - Библиогр.: с. 25(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| Ар10-2860
Саватеев, Ю. В.
Алгоритмическая сложность фрагментов исчисления Ламбека [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / Ю. В. Саватеев. - М., 2009. - 12 с. - Библиогр.: с. 12 (3 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Мех.-мат. фак.
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| Ар10-10808
Поваров, Г. А.
Дескриптивная сложность некоторых преобразований регулярных языков [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Г. А. Поваров. - Екатеринбург, 2010. - 14 с. - Библиогр.: с. 12-14 (27 назв.)
В надзаг.: Рос. РАН, Урал. отд-ние, Ин-т мат. и механики
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| Ар10-21073
Сутырин, П. Г.
Алгоритмы обработки графовых описаний бесконтекстных языков [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Г. Сутырин. - М., 2010. - 12 с. - Библиогр.: с. 12 (6 назв.)
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики, Кафедра алгоритмических языков
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| Ар10-23604
Шур, А. М.
Комбинаторные характеризации формальных языков [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.06 / А. М. Шур. - Екатеринбург, 2010. - 34 с. - Библиогр.: с. 29-34 (68 назв.)
В надзаг.: Рос. АН, Урал. отд-ние, Ин-т мат. и механики
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| Ар11-19692
Баумгертнер, С. В.
Мультиэвристический подход к звездно-высотной минимизации недетерминированных конечных автоматов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / С. В. Баумгертнер. - Тольятти, 2011. - 18 с. : ил. - Библиогр.: с. 17-18 (7 назв.)
Кл.слова (ненормированные):
регулярные языки -- недетерминированные конечные автоматы -- эвристические алгоритмы -- проблемы звездной высоты -- регулярные выражения -- теория формальных языков
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| Ар11-20607
Батуева, Ц. Ч.
Применение алгебраических методов к решению некоторых вопросов сложности комбинаторной теории слов и частично упорядоченных множеств [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Ц. Ч. Батуева. - Новосибирск, 2011. - 23 с. - Библиогр.: с. 17-23 (57 назв.)
Примечание о содержании: Место защиты: Ин-т математики им. С. Л. Соболева СО РАН
Кл.слова (ненормированные):
формальные языки -- частично упорядоченные множества -- комбинаторика -- алгебраические методы -- теория моделей
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| Ар12-13273
Алексеева, А. Г.
Применение итераций конечных языков в алгоритмических задачах теории формальных языков [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / А. Г. Алексеева. - Тольятти, 2012. - 22 с. - Библиогр.: с. 21-22 (11 назв.)
Кл.слова (ненормированные):
формальные языки -- теория -- контекстно-свободные языки -- проблема эквивалентности
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных