contractive production

[ریاضیات] قاعده ی جایگزینی فشرده کننده