Function getIntersectionWords

Returns a potentially infinite iterable of words accepted by both given transition iterables.

This function provides the following guarantees:

1. Words are guaranteed to be yielded in the order of increasing length. (Words of equal lengths may be yielded in any order.)

This is roughly equivalent to NFA.fromIntersection(left, right).words() but implemented more efficiently.