38
правок
Изменения
Нет описания правки
* <tex>\Sigma</tex>: конечное множество входных символов.
* <tex>\Gamma</tex>: конечный магазинный алфавит {{---}} множество символов, которые можно помещать в магазин.
* <tex>\delta</tex>: функция переходов. <tex>\delta (q,a,X)=(p,\gamma)</tex>, где для кадой тройки <tex>(q,a,X)</tex> пара <tex>(p,\gamma)</tex> задана единственным образом, где
** <tex>q</tex>: текущее состояние из Q.
** <tex>a</tex>: входной символ.
