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