13. A computer-readable medium that is not a transitory propagating signal, the computer-readable medium including instructions, which when executed by the computer, cause the computer to perform operations comprising: converting a quantification into an automaton, wherein converting includes unrolling the quantification to control an out-degree of the automaton; and converting the automaton into machine code corresponding to a target device.
13. A computer-readable medium that is not a transitory propagating signal, the computer-readable medium including instructions, which when executed by the computer, cause the computer to perform operations comprising: converting a quantification into an automaton, wherein converting includes unrolling the quantification to control an out-degree of the automaton; and converting the automaton into machine code corresponding to a target device. 18. The computer-readable medium of claim 13 , wherein when the quantification can be matched with a multiple number of loops, the multiple number of loops including a first number of loops, n1, and a second number of loops, n2, unrolling the quantification includes: splitting the quantification into a first quantification that can be matched with the n1-1 number of loops and a second quantification that can be matched with from one to a n2-n1+1 number of loops.