Title: Extended finite state representation of infinite machines
Subjects: Sequential machine theory