Аннотация:
Предметом исследования является автомат, осуществляющий обход связных плоских простых неориентированных графов с целью определения того, являются ли они почти $r$-деревьями. Приводятся алгоритм и временные оценки установления этого свойства, а также описание рассматриваемого автомата.
Ключевые слова:
автоматы, графы, цикломатическое число графа, почти $r$-деревья.