A Method for Finding Feedback Partitions for Sequential Machines
S. V. Dabadghao · IEEE Transactions on Computers · 1969
An explicit method is given for determining feedback partitions (defined by Hartnanis and Stearns) from a study of state tables. This method is based on their theorem for testing whether a given partition is a feedback partition.