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