Title: Optimal checking experiments for sequential machines
Subjects: Programmable Sequence controllers, Sequence controllers, Programmable, Sequential machine theory