Методы синтеза и оценки сложности программ с некоторыми структурными ограничениямидоклад на конференции