65379

Автор(ы): 

Автор(ов): 

1

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Логические эксперименты с автоматами

Сведения об издании: 

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Саратов

Издательство: 

  • Издательство Саратовского университета

Год издания: 

1988

Объём, стр.: 

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

Библиографическая ссылка: 

Твердохлебов В.А. Логические эксперименты с автоматами. Саратов: Издательство Саратовского университета, 1988. – 184 с.