Title: A computer program for the reduction of flow tables
Subjects: Sequential machine theory