Вычисления и автоматы

• Book ID: 127424886
• Year: 1971
• Tongue: Russian
• Weight: 3 MB
• Category: Library

✦ Synopsis

Монография одного из крупнейших американских ученых рассматривает фундаментальные вопросы теории автоматов. Изложена классическая теория конечных автоматов, машин Тьюринга н систем Поста. Подход автора в значительной степени отличается от традиционного. В его основе лежит понятие эффективной процедуры, включающее язык для описания поведения и характеристику устройства, способного выполнять предписания, зафиксированные на этом языке. Многие достоинства книги, и прежде всего блестящая систематизация результатов, полученных в теории автоматов за последнее десятилетие, делают ее весьма ценным руководством для исследователей и инженеров, работающих в области вычислительной техники и автоматического управления. Интересна она также для студентов и аспирантов, избравших своей специальностью вычислительную технику и смежные с ней области.

✦ Subjects

Математические основы ДЛС