43. 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 in-degree of the automaton; and converting the automaton into machine code corresponding to a target device.
43. 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 in-degree of the automaton; and converting the automaton into machine code corresponding to a target device. 45. The computer-readable medium of claim 43 , wherein unrolling includes minimizing in-transitions for each state of the automaton.