Title: Finite-state models for logical machines
Subjects: Sequential machine theory