Algorithms for the optimal state assignment of asynchronous state machines