STATE ASSIGNMENT ALGORITHM FOR CLOCKED SEQUENTIAL MACHINES