Returns a lazily-created TransitionIterator for the intersection of the two given FA.
The iterator will create states as it is traversed.
Returns a lazily-created TransitionIterator for the intersection of the two given FA.
The iterator will create states as it is traversed.