Нетрудно установить, что рекурсивная сеть эквивалентна магазинному автомату. Обратное утверждение, что каждый магазинный автомат имеет ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Лупанов О.Б.
Кибернетический сборник Выпуск13
Нетрудно установить, что рекурсивная сеть эквивалентна магазинному автомату. Обратное утверждение, что каждый магазинный автомат имеет эквивалентную ему рекурсивную сеть, может быть доказано непосредственно, но проще доказать это, заметив, что каждый магазинный автомат имеет эквивалентную КС-грамматику, для которой имеется эквивалентная рекурсивная сеть.