1. A computer-implemented method comprising: converting a quantification into an automaton, wherein converting includes unrolling the quantification to control an in-degree of the automaton; and converting the automaton into machine code corresponding to a target device.
1. A computer-implemented method comprising: converting a quantification into an automaton, wherein converting includes unrolling the quantification to control an in-degree of the automaton; and converting the automaton into machine code corresponding to a target device. 7. The computer-implemented method of claim 1 , wherein unrolling the quantification to control an in-degree of the automaton comprises unrolling the quantification as a function of an in-degree limitation.