Determining large-scale finite state machines using constraint relaxation

摘要

A computer-implemented method of finite state machine using constraint relaxation. A first expression having a plurality of variables is accessed. A second expression is accessed that describes a constraint with respect to a first variable of the plurality of variables. At least one of the variables from the second expression is eliminated to create a third expression with the constraint relaxed. The third expression is applied to the first expression to determine a finite state machine for the first expression.

主权项

1. A computer-implemented method for generating finite state machines comprising:
accessing a first expression comprising a plurality of variables; accessing a second expression that describes a constraint with respect to a first variable of the plurality of variables of the first expression; eliminating, by a computer, at least one variable from the second expression to generate a third expression, the at least one variable being unnecessary for computing the first expression; and determining a finite state machine for the first expression based on the first expression and the third expression.