Распознаватели, определяющие КС-языки, моделируются автоматами с магазинной памятью (МПА). Автомат с магазинной памятью (МПА) – это семерка A=(N,T,V,d, n0, v0,F),
где N – множество состояний автомата;
T – конечный входной алфавит (множество допустимых символов);
V – специальный конечный алфавит магазинных символов автомата (обычно в него входят терминальные и нетерминальные символы грамматики), TÍV ;
d – функция переходов, отображающая множество N´(TÈ