24.06.2003  Мнения

Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. Пер. с англ. М.: Издательский дом “Вильямс”, 2002. - 528 с.Первое издание этой книги вышло в 1969 г., второе - спустя десять лет. Активно развивавшаяся в то время теория автоматов и языков была узкой и специфичной областью математики. Но сегодня она почти сформировалась, хотя появилось множество ее прикладных приложений, связанных с ИТ. Оказалось, что рассматриваемые в этой теории подходы к построению алгоритмов весьма точно отвечают потребностям современной программной инженерии, заинтересованной в автоматизации процессов создания качественного ПО. Поэтому третье издание во многом сосредоточилось на практических аспектах изучаемой области. Основным понятиям теории автоматов посвящена первая глава книги. Ее приложения востребованы прежде всего в задачах разработки цифровых схем, создания компиляторов, поисковых систем и программ проверки протоколов. Во второй главе рассматриваются языки, которые могут быть описаны конечными автоматами. Их возможное применение демонстрируется на примере построения протокола, поддерживающего операции с электронными деньгами, показывается, как автоматы могут проверять протоколы обмена и находить в них изъяны. Регулярным выражениям, их свойствам и применению при построении языков программирования (в частности, командного языка Unix) посвящены третья и четвертая главы.Класс контекстно-свободных языков (более широкий, чем класс регулярных языков) получил ... читать далее.