Algorithms for Approximate FSM Traversal Based on State SpaceDecomposition