Terms for subject Programming containing synthesis procedure

English	Russian
rest of the synthesis procedure	остальная часть процедуры синтеза (ssn)
synthesis procedure	процедура синтеза (напр., конечного автомата ssn)