Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 5
Отмеченные записи: 0
1.
Подробнее
Сложность вычислений и алгоритмов : сборник переводов / под ред. В. А. Козмидиади, А. Н. Маслова, Н. В. Петри. - Москва : Мир, 1974. - 389 c. - (Кибернетический сборник)
Кл.слова (ненормированные):
алгоритмы -- Тьюринга машины -- модели вычислительных систем -- математика -- контекстно-свободные языки -- рекурсивные функции
Доп.точки доступа:
Козмидиади, В. А. \ред.\
Маслов, А. Н. \ред.\
Петри, Н. В. \ред.\
Экземпляры всего: 2
Книгохранение (1), Абонемент учебной и научной литературы (1)
Свободны: Книгохранение (1), Абонемент учебной и научной литературы (1)
Сложность вычислений и алгоритмов : сборник переводов / под ред. В. А. Козмидиади, А. Н. Маслова, Н. В. Петри. - Москва : Мир, 1974. - 389 c. - (Кибернетический сборник)
| УДК |
Кл.слова (ненормированные):
алгоритмы -- Тьюринга машины -- модели вычислительных систем -- математика -- контекстно-свободные языки -- рекурсивные функции
Доп.точки доступа:
Козмидиади, В. А. \ред.\
Маслов, А. Н. \ред.\
Петри, Н. В. \ред.\
Экземпляры всего: 2
Книгохранение (1), Абонемент учебной и научной литературы (1)
Свободны: Книгохранение (1), Абонемент учебной и научной литературы (1)
2.
Подробнее
С 30
Семантика языков программирования : сборник статей / пер. с англ. А. Н. Бирюкова, В. А. Серебрякова. - Москва : Мир, 1980. - 395 c. - Библиогр. : с. 388-394
Рубрики: программирования языки--грамматика--сборники
Кл.слова (ненормированные):
языки программирования, семантика -- математическое обеспечение -- теория формальных языков -- контекстно-свободные языки, семантика -- семантика (математика) -- программирование (математика) -- атрибутные трансляции (математика)
Доп.точки доступа:
Бирюков, А. Н. \пер.\
Серебряков, В. А. \пер.\
Экземпляры всего: 4
Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
С 30
Семантика языков программирования : сборник статей / пер. с англ. А. Н. Бирюкова, В. А. Серебрякова. - Москва : Мир, 1980. - 395 c. - Библиогр. : с. 388-394
| УДК |
Рубрики: программирования языки--грамматика--сборники
Кл.слова (ненормированные):
языки программирования, семантика -- математическое обеспечение -- теория формальных языков -- контекстно-свободные языки, семантика -- семантика (математика) -- программирование (математика) -- атрибутные трансляции (математика)
Доп.точки доступа:
Бирюков, А. Н. \пер.\
Серебряков, В. А. \пер.\
Экземпляры всего: 4
Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
3.
Подробнее
Саломаа, Арто.
Жемчужины теории формальных языков / А. Саломаа ; пер. с англ. А. А. Мучника. - Москва : Мир, 1986. - 159 c. : ил. - Библиогр. : с. 140-144
Парал. тит. л. на англ. яз.
Рубрики: формальные языки--теория
Кл.слова (ненормированные):
Клини теорема -- Туэ проблема -- морфизмы (математика) -- морфический генератор -- теория кодов (математика) -- локальные языки -- контекстно-свободные языки -- автоматы конечные -- регулярные языки (математика) -- порождающие грамматики -- теория формальных языков -- операции над языками -- регулярные выражения -- DOL-системы -- разрешимость (теория формальных языков) -- задача Туэ о бесповторных словах -- конечные автоматы -- математическая лингвистика -- грамматика формальная -- языки формальные
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Саломаа, Арто.
Жемчужины теории формальных языков / А. Саломаа ; пер. с англ. А. А. Мучника. - Москва : Мир, 1986. - 159 c. : ил. - Библиогр. : с. 140-144
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: формальные языки--теория
Кл.слова (ненормированные):
Клини теорема -- Туэ проблема -- морфизмы (математика) -- морфический генератор -- теория кодов (математика) -- локальные языки -- контекстно-свободные языки -- автоматы конечные -- регулярные языки (математика) -- порождающие грамматики -- теория формальных языков -- операции над языками -- регулярные выражения -- DOL-системы -- разрешимость (теория формальных языков) -- задача Туэ о бесповторных словах -- конечные автоматы -- математическая лингвистика -- грамматика формальная -- языки формальные
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
4.
Подробнее
Соколов, Александр Павлович.
Системы программирования: теория, методы, алгоритмы : учебное пособие / А. П. Соколов. - Москва : Финансы и статистика, 2004. - 320 с. : ил., табл. - Библиогр. : с. 309-310. - Приложения : с. 301-308. - Предметный указатель : с. 313-320. - ISBN 5279027707
Рубрики: программирование компьютерное--системы--учебные издания для вузов
Кл.слова (ненормированные):
компьютерное программирование -- регулярные языки -- регулярные грамматики -- контекстно-свободные языки -- распознаватели языков -- алгоритмы трансляции -- языки программирования -- лексический анализ (информационные технологии) -- синтаксический анализ (информационные технологии) -- семантический анализ (информационные технологии) -- оптимизация программ -- подпрограммы -- предпроцессоры -- ассемблеры -- макроассемблеры -- макрогенераторы -- компановщики -- верификаторы -- верификация программ
Экземпляры всего: 2
Абонемент учебной и научной литературы (Пушкинская, 10) (1), Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (Пушкинская, 10) (1), Абонемент учебной и научной литературы (1)
Соколов, Александр Павлович.
Системы программирования: теория, методы, алгоритмы : учебное пособие / А. П. Соколов. - Москва : Финансы и статистика, 2004. - 320 с. : ил., табл. - Библиогр. : с. 309-310. - Приложения : с. 301-308. - Предметный указатель : с. 313-320. - ISBN 5279027707
| УДК |
Рубрики: программирование компьютерное--системы--учебные издания для вузов
Кл.слова (ненормированные):
компьютерное программирование -- регулярные языки -- регулярные грамматики -- контекстно-свободные языки -- распознаватели языков -- алгоритмы трансляции -- языки программирования -- лексический анализ (информационные технологии) -- синтаксический анализ (информационные технологии) -- семантический анализ (информационные технологии) -- оптимизация программ -- подпрограммы -- предпроцессоры -- ассемблеры -- макроассемблеры -- макрогенераторы -- компановщики -- верификаторы -- верификация программ
Экземпляры всего: 2
Абонемент учебной и научной литературы (Пушкинская, 10) (1), Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (Пушкинская, 10) (1), Абонемент учебной и научной литературы (1)
5.
Подробнее
Хопкрофт, Джон Э.
Введение в теорию автоматов, языков и вычислений / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [пер. с англ. : О. И. Васылык, М. Саит-Аметова, А. Б. Ставровского]. - 2-е изд. - Москва ; Санкт-Петербург ; Киев : Вильямс, 2002. - 527 с. : ил., табл. - Библиогр. в конце гл.. - ISBN 5845902614
Парал. тит. л. на англ. яз. Предметный указатель : с. 523-527
Рубрики: автоматы--теория
формальные языки--теория
вычислительная математика
Кл.слова (ненормированные):
программирование машин Тьюринга -- машины Тьюринга -- регулярные выражения в UNIX -- контекстно-свободные грамматики -- контекстно-свободные языки -- регулярные языки -- рекурсивные языки -- конечные автоматы -- универсальные языки -- язык диагонализации -- неразрешимость языков -- разрешимость КС-языков -- классы языков -- автоматы с магазинной памятью -- неперечислимый язык -- NP-полные проблемы
Доп.точки доступа:
Мотвани, Раджив
Ульман, Джеффри Д
Васылык, О. И. \пер.\
Саит-Аметов, М. \пер.\
Ставровский, А. Б. \пер.\
Экземпляры всего: 1
Абонемент учебной и научной литературы (402) (1)
Свободны: Абонемент учебной и научной литературы (402) (1)
Хопкрофт, Джон Э.
Введение в теорию автоматов, языков и вычислений / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [пер. с англ. : О. И. Васылык, М. Саит-Аметова, А. Б. Ставровского]. - 2-е изд. - Москва ; Санкт-Петербург ; Киев : Вильямс, 2002. - 527 с. : ил., табл. - Библиогр. в конце гл.. - ISBN 5845902614
Парал. тит. л. на англ. яз. Предметный указатель : с. 523-527
| УДК |
Рубрики: автоматы--теория
формальные языки--теория
вычислительная математика
Кл.слова (ненормированные):
программирование машин Тьюринга -- машины Тьюринга -- регулярные выражения в UNIX -- контекстно-свободные грамматики -- контекстно-свободные языки -- регулярные языки -- рекурсивные языки -- конечные автоматы -- универсальные языки -- язык диагонализации -- неразрешимость языков -- разрешимость КС-языков -- классы языков -- автоматы с магазинной памятью -- неперечислимый язык -- NP-полные проблемы
Доп.точки доступа:
Мотвани, Раджив
Ульман, Джеффри Д
Васылык, О. И. \пер.\
Саит-Аметов, М. \пер.\
Ставровский, А. Б. \пер.\
Экземпляры всего: 1
Абонемент учебной и научной литературы (402) (1)
Свободны: Абонемент учебной и научной литературы (402) (1)
Страница 1, Результатов: 5