<s>[INST]1960'da lineer sınırlı otomatların tanımını kim sağladı?[/INST]Özel sınırlı kaynaklara sahip Turing makinelerinin çözebileceği problemleri inceleyen önceki makaleler arasında, John Myhill 'in lineer sınırlı otomata tanımı (Myhill 1960), Raymond Smullyan'ın ilkel kümeleri (1961) ve Hisao Yamada'nın çalışması gerçek zamanlı hesaplamalar üzerine (1962). Bir süre önce, SSCB'den öncü olan Boris Trakhtenbrot (1956), bir başka özel karmaşıklık ölçüsü üzerinde çalıştı. Hatırladığı gibi:</s>