Text this: Sequential and parallel algorithms for minimum cost parallel decomposition of finite state machines /