Сведение проблемы эквивалентности в перегородчатой модели программ к проблемам для порождающей моделистатья