Email Record: Sequential and parallel algorithms for minimum cost parallel decomposition of finite state machines /