Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 3
Отмеченные записи: 0
1.
Подробнее
Саломаа, Арто.
Жемчужины теории формальных языков / А. Саломаа ; пер. с англ. А. А. Мучника. - Москва : Мир, 1986. - 159 c. : ил. - Библиогр. : с. 140-144
Парал. тит. л. на англ. яз.
Рубрики: формальные языки--теория
Кл.слова (ненормированные):
Клини теорема -- Туэ проблема -- морфизмы (математика) -- морфический генератор -- теория кодов (математика) -- локальные языки -- контекстно-свободные языки -- автоматы конечные -- регулярные языки (математика) -- порождающие грамматики -- теория формальных языков -- операции над языками -- регулярные выражения -- DOL-системы -- разрешимость (теория формальных языков) -- задача Туэ о бесповторных словах -- конечные автоматы -- математическая лингвистика -- грамматика формальная -- языки формальные
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Саломаа, Арто.
Жемчужины теории формальных языков / А. Саломаа ; пер. с англ. А. А. Мучника. - Москва : Мир, 1986. - 159 c. : ил. - Библиогр. : с. 140-144
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: формальные языки--теория
Кл.слова (ненормированные):
Клини теорема -- Туэ проблема -- морфизмы (математика) -- морфический генератор -- теория кодов (математика) -- локальные языки -- контекстно-свободные языки -- автоматы конечные -- регулярные языки (математика) -- порождающие грамматики -- теория формальных языков -- операции над языками -- регулярные выражения -- DOL-системы -- разрешимость (теория формальных языков) -- задача Туэ о бесповторных словах -- конечные автоматы -- математическая лингвистика -- грамматика формальная -- языки формальные
Доп.точки доступа:
Мучник, А. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
2.
Подробнее
Рейуорд-Смит, В. Дж
Теория формальных языков. Вводный курс / В. Дж. Рейуорд-Смит ; перевод с английского Б. А. Кузьмина. - Москва : Радио и связь, 1988. - 129 c., включ. обл. : ил., табл.. - ISBN 5256001590
Парал. тит. л. на англ. яз.
Рубрики: формальные языки--теория
языки программирования--грамматика
контекстно-свободные грамматики
Кл.слова (ненормированные):
автоматы с магазинной памятью детерминированные -- автоматы с магазинной памятью недетерминированные -- автоматы с магазинной памятью -- автоматы конечные -- регулярные языки -- детерминированные языки -- синтаксис языков программирования -- семантика языков программирования -- редуктивные грамматики -- Бэкуса-Наура формы -- Грейбаха нормальная форма -- задачи синтаксического разбора (математическая лингвистика) -- LL(k)-грамматики -- теория формальных языков -- конечные автоматы -- языки программирования, теория
Доп.точки доступа:
Кузьмин, Б. А. \пер.\
Экземпляры всего: 4
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Рейуорд-Смит, В. Дж
Теория формальных языков. Вводный курс / В. Дж. Рейуорд-Смит ; перевод с английского Б. А. Кузьмина. - Москва : Радио и связь, 1988. - 129 c., включ. обл. : ил., табл.. - ISBN 5256001590
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: формальные языки--теория
языки программирования--грамматика
контекстно-свободные грамматики
Кл.слова (ненормированные):
автоматы с магазинной памятью детерминированные -- автоматы с магазинной памятью недетерминированные -- автоматы с магазинной памятью -- автоматы конечные -- регулярные языки -- детерминированные языки -- синтаксис языков программирования -- семантика языков программирования -- редуктивные грамматики -- Бэкуса-Наура формы -- Грейбаха нормальная форма -- задачи синтаксического разбора (математическая лингвистика) -- LL(k)-грамматики -- теория формальных языков -- конечные автоматы -- языки программирования, теория
Доп.точки доступа:
Кузьмин, Б. А. \пер.\
Экземпляры всего: 4
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
3.
Подробнее
Хопкрофт, Джон Э.
Введение в теорию автоматов, языков и вычислений / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [пер. с англ. : О. И. Васылык, М. Саит-Аметова, А. Б. Ставровского]. - 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)
Page 1, Results: 3