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. 2. The computer-implemented method of claim 1 , further comprising: parsing an expression into a non-language specific representation including the quantification.