Начало см. здесь.

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

Вот как эти автоматы охарактеризованы у Л. Т. Кузина. "Таким образом, устройство магазинной памяти можно сравнить с устройством магазина боевого автомата: когда в него вкладывается патрон, те, которые уже были внутри, проталкиваются вниз; достать можно только патрон, вложенный последним".

В частности, имеем следующее наглядное представление "допуска" цепочки abba к множеству цепочек "зеркального языка Кузина":

Подробности см. у Л. Т. Кузина здесь. Этот метод определения "зеркального языка" является альтернативным к тоже очень важному и наглядному методу сборки цепочек этого языка в соответствующем исчислении локализованных цепочек.