|
|
Автор: Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман
Издательство: Вильямс
Год издания: 2002
isbn: 0-201-44124-1, 5-8459-0261-4
Количество страниц: 521
Язык: русский
Формат: DJVU
|
Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостной оценки сложности алгоритмов. Изложение ведется строго, но доступно, и сопровождается многочисленными примерами, а также задачами для самостоятельного решения. Книга будет полезна читателям различных категорий - студентам, аспирантам, научным сотрудникам, преподавателям высших учебных заведений, а также всем, кто интересуется математическими основами современной вычислительной техники. |
|