11. The computer-implemented method of claim 1 , wherein unrolling the quantification to control an in-degree of the automaton comprises unrolling the quantification to control an in-degree of the automaton based on a threshold.
11. The computer-implemented method of claim 1 , wherein unrolling the quantification to control an in-degree of the automaton comprises unrolling the quantification to control an in-degree of the automaton based on a threshold. 12. The computer-implemented method of claim 11 , wherein the threshold is based on a hardware limitation of the parallel machine.