Normal Form. In this section we develop a normal form for expressions in TSL, which we will use in the completeness proof for SF1. As − SL is a surjective function it has at least one right inverse. Let us pick one and denote it by (−)Π . We thus have (−)Π : Pn(Σ) → TSL such that − SL ◦ (−)Π is the identity on Pn(Σ). The normal form for expressions in TSL is defined as follows:
Appears in 3 contracts
Sources: End User Agreement, End User Agreement, End User Agreement