<s>[INST]1962'de, gerçek zamanlı hesaplamalar üzerine basılmış bir makalenin yazarlığından kim sorumluydu?[/INST]Belirli sınırlanmış kaynaklara sahip Turing makinelerinin çözebileceği problemleri inceleyen önceki makaleler arasında John Myhill'in lineer sınırlı otomat tanımı (Myhill 1960), Raymond Smullyan'ın ilkel kümeler üzerine yaptığı çalışma (1961) ve Hisao Yamada makalesi yer alıyor. 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>