In building Quamina, I needed to compute the union of two finite automata (FAs). I remembered from some university course 100 years| ongoing by Tim Bray