Title: A computer program for simplyfying incompletely specified sequential machines using the Paull and Unger technique
Subjects: Computer algorithms, Numerical calculations, Computer programs, Project Mariner (U.S.)