Определяется класс алгоритмов (так называемых, итерационных автоматов) предназначенных для анализа структур данных (или размеченных ориентированных графов). На вход алгоритма (автомата) поступает ориентированный размеченный граф, который задает анализируемую структуру. Результатом работы алгоритма является либо положительный (структура данных допускается), либо отрицательный(структура данных отвергается) ответ . По своим свойствам итерационные автоматы похожи на обычные конечные автоматы. В частности, распознаваемые множества структур замкнуты относительно теоретико-множественных операций, кроме того, разрешима проблема пустоты языка (множества структур) распознаваемого заданным итерационным автоматом