Возможности автоматов при обходе плоскости

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