Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостной оценки сложности алгоритмов.Изложение ведется строго, но доступно, и сопровождается многочисленными примерами, а также задачами для самостоятельного решения.Книга будет полезна читателям различных категорий - студентам, аспирантам, научным сотрудникам, преподавателям высших учебных заведений, а также всем, кто интересуется математическими основами современной вычислительной техники.
Kniga izvestnykh amerikanskikh uchenykh posvjaschena teorii avtomatov i sootvetstvujuschikh formalnykh jazykov i grammatik - kak reguljarnykh, tak i kontekstno-svobodnykh. Vo vtoroj chasti rassmatrivajutsja razlichnye mashiny Tjuringa, pri pomoschi kotorykh formalizujutsja ponjatija razreshimykh i nerazreshimykh problem, a takzhe opredeljajutsja funktsii vremennoj i emkostnoj otsenki slozhnosti algoritmov.Izlozhenie vedetsja strogo, no dostupno, i soprovozhdaetsja mnogochislennymi primerami, a takzhe zadachami dlja samostojatelnogo reshenija.Kniga budet polezna chitateljam razlichnykh kategorij - studentam, aspirantam, nauchnym sotrudnikam, prepodavateljam vysshikh uchebnykh zavedenij, a takzhe vsem, kto interesuetsja matematicheskimi osnovami sovremennoj vychislitelnoj tekhniki.
