ஜான் மைஹில்
குறிப்பிட்ட வரையறுக்கப்பட்ட வளங்களைக் கொண்ட ட்யூரிங் இயந்திரங்களால் தீர்க்கப்படக்கூடிய சிக்கல்களைப் பற்றிய முந்தைய ஆய்வுக்கட்டுரைகளில் ஜான் மைஹில்ஸின் நேரியல் பவுண்டட் ஆட்டோமேட்டா வரையறை (மைஹில்ஸ் 1960), ரேமண்ட் ஸ்முல்லியனின் ஆரம்ப கணங்கள் பற்றிய ஆய்வு (1961), அத்துடன் ஹிசாவ் யமடாவின் ரியல்-டைம் கணக்கீடுகள் குறித்த கட்டுரை (1962) ஆகியவை அடங்கும்.
1960-ல் நேரியல் பவுண்டேட் ஆட்டோமேட்டாவின் வரையறையை யார் கொடுத்தது?