Многоуровневые магазинные автоматы

Строится последовательность классов автоматов с памятью, являющейся расширением магазинной памяти, таким образом, что класс языков, допустимых автоматами из $i$-ro класса, совпадает с обобщенными индексными языками уровня $i$.