Библиотека Российской академии наук (БАН)

Базы данных


Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) - результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйкраткийкарточка БАН
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Формальные языки<.>)
Общее количество найденных документов : 13
Показаны документы с 1 по 10
 1-10    11-13 
1.2002к/5896

Формальные грамматики и их применение в распознавании образов : [Учеб. пособие по направлению 551100 и специальностям 220500 и 200800] / О. И. Атакищев, А. П. Волков, В. С. Титов, Ф. А. Старков ; М-во образования Рос. Федерации, Курс. гос. техн. ун-т. - Курск : КГТУ, 2000. - 114 с. : ил. ; 21 см.. - Библиогр.: с. 114. - ISBN 5-7681-0077-6.
ББК 81я73
Рубрики: Формальные языки
   Распознавание образов

   Структурная лингвистика

   Лингвистика структурная-см. Структурная лингвистика

Доп.точки доступа: Атакищев, Олег Игоревич; Волков, Александр Петрович; Титов, Виталий Семенович; Старков, Федор Александрович
Найти похожие


2.2002к/7491, 1)


   Малявко, Александр Антонович.
Теория формальных языков : [Учеб. пособие : В 3 ч.] / А. А. Малявко; М-во образования Рос. Федерации, Новосиб. гос. техн. ун-т. - Новосибирск : НГТУ, 2001 - . - 20 см.

Ч. 1
. - 2001. - 95,[1] с. : ил.
ББК 32.973.26я73 З973.2-018.1я73
Рубрики: Формальные языки
   Математическая лингвистика

   Лингвистика математическая-см. Математическая лингвистика

Найти похожие

3.2002к/7491, 2)


   Малявко, Александр Антонович.
Теория формальных языков : [Учеб. пособие : В 3 ч.] / А. А. Малявко; М-во образования Рос. Федерации, Новосиб. гос. техн. ун-т. - Новосибирск : НГТУ, 2001 - . - 20 см.

Ч. 2
. - 2002. - 99 с. : ил.
ББК 32.973.26-018.1я73
Рубрики: Формальные языки
   Математическая лингвистика

Найти похожие

4.2009к/19241, 3)


   Малявко, Александр Антонович.
Теория формальных языков : [учеб. пособие : в 3 ч.] / А. А. Малявко; М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т. - Новосибирск : НГТУ, 2001 - . - 20 см.

Ч. 3
. - 2005. - 123, [1] с.
ББК 32.973.26-018.1я73 З973.2-018.1я73
Рубрики: Формальные языки
   Математическая лингвистика

Найти похожие

5.2013б/1057


   Сотников, Дмитрий Иванович.
Семейство единых международных языков (FUIL) / Д. И. Сотников, А. Д. Сотников. - М. : Белые альвы, 2005 - . - 21 см.

Ч. 1
: Языки цифровых информационных систем (LCIS), разд. 1 : Язык автомобильных кодов регионов России (AR/RU) и международный язык товарного общения (ILVI). - 2005. - 26 с. . - ISBN 5-7619-0232-X.
ББК 32.973.26-018.1 Ш18
Рубрики: Формальные языки
Доп.точки доступа: Сотников, Андрей Дмитриевич
Найти похожие

6.2014к/12379

Пентус, Анна Евгеньевна .
Математическая теория формальных языков : [учебное пособие] / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-ун-т информ. технологий [и др.], 2006. - 247 с. : ил. ; 23 см. - (Основы информатики и математики). - Изд. совместно с: БИНОМ. Лаб. знаний : Моск. гос. ун-т. - Библиогр.: с. 236-239. - Предм. указ.: с. 240-247. - 1000 экз. ISBN 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.) . - ISBN 5-9556-0062-0 (ИНТУНИТ.РУ)
ББК 22.18
Рубрики: Формальные языки
   Математическая лингвистика

Доп.точки доступа: Пентус, Мати Рейнович
Найти похожие


7.2022к/18149


   Корзун, Дмитрий Жоржевич.
Lex и Yacc: генераторы программ лексического и синтаксического анализа : учебное пособие для математических специальностей университетов / Д. Ж. Корзун, Ю. А. Богоявленский ; Федеральное агентство по образованию, Петрозаводский государственный университет. - Петрозаводск : Изд-во ПетрГУ, 2007 - . - 20 см. - (Информатика: основы и приложения / редакционная коллегия: А. В. Воронин [и др.] ; т. 5)

Ч. 1
: Введение. - 100 с. : ил. . - Библиогр.: с. 98-100. - 150 экз.. - ISBN 978-5-8021-07010.
ББК 32.973.26-018.1я73 З973.2-018.1я73-1
Рубрики: Формальные языки
   Математическая лингвистика

Доп.точки доступа: Богоявленский, Юрий Анатольевич; Воронин, А. В. \ред.\
Найти похожие

8.2011к/16253


   Бондаренко, Леонид Николаевич.
Дискретная математика : конечные автоматы и формальные языки : учебное пособие / Л. Н. Бондаренко; Федер. агентство по образованию, Пенз. гос. ун-т. - Пенза : Изд-во Пенз. гос. ун-та, 2009- - . - 20 см.

Ч. 1
. - 2009. - 71, [3] с. : ил.
ББК З815я73-1 В125я73-1
Рубрики: Автоматов теория
   Формальные языки

   Дискретная математика

Найти похожие

9.2016к/22682

Соколов, Валерий Анатольевич .
Введение в теорию формальных языков : учебное пособие : [по направлению "Прикладная математика и информатика"] / В. А. Соколов ; М-во образования и науки Рос. Федерации, Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : ЯрГУ, 2014. - 206 с. : ил. ; 20 см. - Библиогр.: с. 206. - 60 экз.. - ISBN 978-5-8397-1035-1.
ББК 32.973-018.1я73 З973.2-018.1я73-1
Рубрики: Формальные языки
   Математическая лингвистика

Найти похожие


10.2016к/33647

Введение в формальные языки и распознающие автоматы : учебное пособие / [Курганский В. И., Бутаков М. И., Курганская О. В., Черных В. И.] . - Иркутск : Изд-во ИГУ, 2014. - 115 с. : ил., табл., цв. ил. ; 21 см. - Авт. указаны перед вып. дан. - Библиогр.: с. 105. - Предм. указ.: с. 104. - 100 экз.. - ISBN 978-5-9624-1058-6.
ББК В125я73-1 З815я73-1
Рубрики: Автоматы
   Формальные языки

Доп.точки доступа: Курганский, Виктор Иванович; Бутиков, М. И.; Курганская, О. В.; Черных, В. И.
Найти похожие


 1-10    11-13