Выбор БД
Тип поиска
Вернуться на старый сайт
Сортировать по:
1. Книга
bookCover
Полочный шифр: 22.182.3 испр. - Х 781
Хопкрофт, Д. Э.
Введение в теорию автоматов, языков и вычислений / Д. Э. Хопкрофт, Р. Мотвани, Д. Д. Ульман ; перевод с английского О. И. Васылык, М. Саит-Аметовой, А. Б. Ставровского. — 2-е изд., испр. — Москва : Вильямс, 2008. — 528 с. : ил. — Предм. указ.: с. 523. — ISBN 978-5-8459-1347-0. — Текст : непосредственный.
Экземпляры: Всего: 5, из них: аб.-4 в наличии 3, ч/з-1 в наличии 1
Дисциплина из КО: Теория автоматов и формальных языков
Подробнее
Авторы: Хопкрофт Д. Э., Мотвани Р., Ульман Д. Д.
Отраслевые рубрики: математика, теория автоматов, теория управляющих систем
Ключевые слова: автоматы, автоматы с магазинной памятью, вычислимость, дедуктивные доказательства, индуктивные доказательства, конечные автоматы, контекстно-свободные грамматики, контекстно-свободные языки, Крускала алгоритм, машина Тьюринга, неперечислимые языки, неразрешимость, неразрешимые проблемы, проблема соответствий Поста, рандомизированные алгоритмы, регулярные выражения, регулярные языки, рекурсивно перечислимые языки, теория формальных доказательств, труднорешаемые проблемы
Индексы ББК: 22.182.3, 22.18
Представления: Формат MARC21