База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.

Подробнее
519.7 С 165
Саломаа, Арто.
Жемчужины теории формальных языков / А. Саломаа ; пер. с англ. А. А. Мучника. - Москва : Мир, 1986. - 159 c. : ил. - Библиогр. : с. 140-144
Парал. тит. л. на англ. яз.
Рубрики: формальные языки--теория
Кл.слова (ненормированные):
Клини теорема -- Туэ проблема -- морфизмы (математика) -- морфический генератор -- теория кодов (математика) -- локальные языки -- контекстно-свободные языки -- автоматы конечные -- регулярные языки (математика) -- порождающие грамматики -- теория формальных языков -- операции над языками -- регулярные выражения -- DOL-системы -- разрешимость (теория формальных языков) -- задача Туэ о бесповторных словах -- конечные автоматы -- математическая лингвистика -- грамматика формальная -- языки формальные
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Саломаа, Арто.
Жемчужины теории формальных языков / А. Саломаа ; пер. с англ. А. А. Мучника. - Москва : Мир, 1986. - 159 c. : ил. - Библиогр. : с. 140-144
Парал. тит. л. на англ. яз.
УДК |
Рубрики: формальные языки--теория
Кл.слова (ненормированные):
Клини теорема -- Туэ проблема -- морфизмы (математика) -- морфический генератор -- теория кодов (математика) -- локальные языки -- контекстно-свободные языки -- автоматы конечные -- регулярные языки (математика) -- порождающие грамматики -- теория формальных языков -- операции над языками -- регулярные выражения -- DOL-системы -- разрешимость (теория формальных языков) -- задача Туэ о бесповторных словах -- конечные автоматы -- математическая лингвистика -- грамматика формальная -- языки формальные
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
2.

Подробнее
004.42 Х 781
Хопкрофт, Джон Э.
Введение в теорию автоматов, языков и вычислений / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [пер. с англ. : О. И. Васылык, М. Саит-Аметова, А. Б. Ставровского]. - 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, Результатов: 2