Изменения

Стековая машина является обобщением детерминированных МП-автоматов использованием <tex>k<font face="Times" size="3"/tex> стеков вместо одного. <br>[[Файл:StackMachineНа рис. 1 изображена '''стековая машина'''.png]] * Каждой конфигурации машины Тьюринга можно сопоставить четыре переменные: номер текущего состояния в автомате, С ленты последовательно считываются символы входного алфавита (<tex>c_i</tex> — текущий считываемый символ на ленте, содержимое ленты слева от головки и содержимое ленты справа от головки). Заметим, что машина Тьюринга обращается Для каждого стека с двумя половинками ленты как с двумя стекамивершины снимается символ <tex>x_i</tex>. При движении головки направоВместо него помещается строка <tex>\alpha_i</tex> таким образом, из правого чтобы первый символ строки находился на вершине стека берется верхний элемент и кладется в левый; при движении налево - наоборот.{{Определение|definition=Стековой машиной с <tex>k</tex> магазинами называется набор A=<tex>\langle\Sigma, \Gamma, Q, s\in Q, T \subset Q, из левого стека верхний элемент кладется в правый. Но так как стеки конечныz_0 \in \Gamma, а лента бесконечна\delta : Q \times \Sigma \cup \{\varepsilon\} \times \Gamma^k \rightarrow Q \times (\Gamma^*)^k\rangle</tex>, то договоримся добавлять в стек символ конца ввода слова где*<tex>\$Sigma</tex>. Тем самым бесконечно пустой хвост ленты учтен в стековой машине.— входной алфавит на ленте;* Если слово допускается в машине Тьюринга <tex>\RightarrowGamma</tex> оно допускается и в стековой машине. — стековый алфавит;*<tex>Q</fonttex>— множество состояний автомата;*<tex>s</tex> — стартовое состояние автомата;== Литература ==*<tex>T</tex> — множество допускающих состояний автомата;*<tex>z_0<font face="Times" size="3"/tex>— маркер дна стека;*Н.К.Верещагин, А.Шень - "Вычислимые функции"<tex>\delta</fonttex>— функция переходов.}}