Подробное описание документа

Твердохлебов В. А.
   Логические эксперименты с автоматами / Твердохлебов В. А. ; ред. Богомолов А. М. - Саратов : Изд-во Сарат. ун-та, 1988. - 183 с. : ил. - Библиогр.: с.180-183.

Аннотация

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

УДК

519.713 Теория автоматов

Предметная рубрика

• Автоматов теория

Общее кол-во в фондах

1 экз.

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313