Some theorems for incompletely specified sequential machines with applications to state minimization

James C. Beatty, Raymond E. Miller

Browse the full FOCS paper archive.