Есть лабиринт (нарисован на клетчатой бумаге/стенки --- вдоль линий бумаги/выход --- какое-то поле на бумаге)
Известно
1. его размер = N (пусть он в квадрате N*N)
2. из каждой точки есть выход из лабиринта

В какой-то точке лабиринта находиться робот.
Он исполняет программу из следующих команд:
1. пойти направо, если можно
2. пойти налево, если можно
3. пойти прямо, если можно
4. пойти назад, если можно

Вопрос. Существует ли для заданного N программа длины C(N) < \infty:
что робот, исполняя эту программу, гарантированно выйдет из лабиринта.

P.S. Робот не может определить есть ли рядом с ним стенка, если он попытается пойти на стенку, то
не сдвинется с места, но об этом не узнает...