1303
правки
KEV (обсуждение | вклад) Нет описания правки  | 
				KVN (обсуждение | вклад)  Нет описания правки  | 
				||
| Строка 1: | Строка 1: | ||
'''Автомат с магазинной памятью''' ([[Pushdown   | '''Автомат с магазинной памятью''' (''[[Pushdown automaton]]'') — тип [[Абстрактная машина|абстрактной машины]], определяющий класс  | ||
[[Контекстно-свободный язык|контекстно-свободных языков]].  | [[Контекстно-свободный язык|контекстно-свободных языков]].  | ||
| Строка 18: | Строка 18: | ||
(5) <math>q_0\in Q</math> — ''начальное'' состояние управляющего устройства;  | (5) <math>q_0\in Q</math> — ''начальное'' состояние управляющего устройства;  | ||
(6) <math>Z_0\in \Gamma</math> — символ, находящийся в магазине в начальный  | (6) <math>Z_0\in \Gamma</math> — символ, находящийся в магазине в начальный  | ||
момент (''начальный'' символ);  | момент (''начальный'' символ);  | ||
| Строка 95: | Строка 97: | ||
* Касьянов В.Н.  Лекции по теории формальных языков, автоматов и сложности вычислений.  —  Новосибирск: НГУ, 1995.  | * Касьянов В.Н.  Лекции по теории формальных языков, автоматов и сложности вычислений.  —  Новосибирск: НГУ, 1995.  | ||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: НГУ, 2018.  | |||
* Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986.  | * Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986.  | ||