Книга "Введение в теорию автоматов, языков и вычислений" известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостной оценки сложности алгоритмов. Изложение ведется строго, но доступно, и сопровождается многочисленными примерами, а также задачами для самостоятельного решения.Книга "Введение в теорию автоматов, языков и вычислений" будет полезна читателям различных категорий - студентам, аспирантам, научным сотрудникам, преподавателям высших учебных заведений, а также всем, кто интересуется математическими основами современной вычислительной техники.2-е издание.
Kniga "Vvedenie v teoriyu avtomatov, yazykov i vychisleniy" izvestnykh amerikanskikh uchenykh posvyashchena teorii avtomatov i sootvetstvuyushchikh formalnykh yazykov i grammatik - kak regulyarnykh, tak i kontekstno-svobodnykh. Vo vtoroy chasti rassmatrivayutsya razlichnye mashiny Tyuringa, pri pomoshchi kotorykh formalizuyutsya ponyatiya razreshimykh i nerazreshimykh problem, a takzhe opredelyayutsya funktsii vremennoy i emkostnoy otsenki slozhnosti algoritmov. Izlozhenie vedetsya strogo, no dostupno, i soprovozhdaetsya mnogochislennymi primerami, a takzhe zadachami dlya samostoyatelnogo resheniya.Kniga "Vvedenie v teoriyu avtomatov, yazykov i vychisleniy" budet polezna chitatelyam razlichnykh kategoriy - studentam, aspirantam, nauchnym sotrudnikam, prepodavatelyam vysshikh uchebnykh zavedeniy, a takzhe vsem, kto interesuetsya matematicheskimi osnovami sovremennoy vychislitelnoy tekhniki.2-e izdanie.
The book "Introduction to automata theory, languages and computation" famous American scientists on the theory of machines and corresponding formal languages and grammars — both regular and context-free. The second part discusses the various Turing machine, which formalized the concept of solvable and unsolvable problems, and defines the functions of the temporary and capacitive complexity estimates of algorithms. The presentation is strictly, but is available and is accompanied by numerous examples and tasks for independent decisions.The book "Introduction to automata theory, languages and computation" will be useful to readers of various categories — students, graduate students, scientific employees, teachers of higher educational institutions, and anyone interested in the mathematical foundations of modern computing.