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