Title: State reduction and state assignments for asynchronous sequential machines