Ai đã cung cấp một định nghĩa về tự động giới hạn tuyến tính vào năm 1960?
Các bài báo trước đó nghiên cứu các vấn đề có thể giải được bằng máy Turing với các tài nguyên giới hạn cụ thể bao gồm định nghĩa của John Myhill về tự động giới hạn tuyến tính (Myhill 1960), nghiên cứu về các bộ thô sơ của Raymond Smullyan (1961), cũng như bài báo của Hisao Yamada về tính toán thời gian thực (1962). Hơi sớm hơn, Boris Trakhtenbrot (1956), người tiên phong trong lĩnh vực này từ Liên Xô, đã nghiên cứu một biện pháp phức tạp cụ thể khác. Như ông nhớ:
John Myhill