libcats.org
Главная

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

Обложка книги Вычисления и автоматы

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

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

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb
Только что пользователи скачали эти книги:

LINPACK Users' Guide

Автор: , Автор:
Категория: Numerical linear algebra
Размер книги: 2.08 Mb

Advances in Neural Information Procesing Systems 4

Автор: , Автор: , Автор:
Категория: Наука (общее)
Размер книги: 17.26 Mb

Forests: More Than Just Trees (Natural Resources)

Автор: , Автор:
Размер книги: 7.16 Mb

Winter Gatherings: Casual Food to Enjoy with Family and Friends

Автор:
Категория: fiction
Размер книги: 1.81 Mb

The Huntress

Автор:
Категория: fiction
Размер книги: 351 Kb