A new model for improving symbolic Product Machine traversal

This paper presents algorithms for traversing product machines which improve on [CHJP91] of a speedup ranging from 3 up to 6. New features include a model that generalizes the product machine, resulting in simpler and more efficient representations and computations, as well as optimizations in symbolic image computation. In the latter case, the speed-up ranges from 1.5 to 4.