A lazy intersection algorithm that will use the given FA builder to construct the intersection FA as the returned iterator is used to traverse the FA.
To construct the whole intersection FA, simply traverse the entire iterator.
A lazy intersection algorithm that will use the given FA builder to construct the intersection FA as the returned iterator is used to traverse the FA.
To construct the whole intersection FA, simply traverse the entire iterator.