Function makeDeterministic

This will return an iterator that iteratively create a DFA using the given FABuilder.

This operation may produce up to 2^O(n) many states. The builder should limit the number of states created.