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