1. A computer-implemented method of finite state machine creation comprising: a) accessing a first expression comprising a plurality of variables; b) accessing a second expression that describes a constraint with respect to a first variable of said plurality of variables; c) eliminating at least one of the plurality of variables from said second expression to create a third expression with said constraint relaxed; and d) applying said third expression to said first expression to determine a finite state machine for said first expression.