算法综合

algorithmic synthesis