Normal Form. For all e ∈ TSL the normal form of e, )SL denoted as e, is defined as ( e )Π. Let TSL = {e : e ∈ 7SL}. × × × × × × ∈ × × Intuitively, an expression in normal form is standardised with respect to idempotence, associativity and commutativity. For instance, for a term (a a) (c b) with a, b, c Σ, the chosen normal form, dictated by the chosen right inverse, could be (a b) c, and all terms provably equivalent to (a a) (c b) will have this same normal form. Using Lemma 3.4, we can formalise this in the following two results:
Appears in 3 contracts
Sources: End User Agreement, End User Agreement, End User Agreement