The Growing Book

A Formal Model for MAWC Operations

CUSTOMIZE operator

 

The CUSTOMIZE operation, c(f{O1, O2, …, On}) creates a new expression f’{O’1, O’2, …, O’n} that satisfies certain constraints on the expression.

 

     c(f{O1, O2, …, On}) = f’{O1, O2, …, On} where f’   satisfies certain constraints.