Title: Total information lossless sequential machines
Subjects: Electronic digital computers, Information theory, Recursive functions