На страницу Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами отсутствуют ссылки с других страниц.