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