ജോൺ മൈഹിൽ
പ്രത്യേക അതിർത്തി വിഭവങ്ങൾ ഉപയോഗിച്ച് ട്യൂറിംഗ് മെഷീനുകൾ പരിഹരിക്കാവുന്ന പ്രശ്നങ്ങൾ പഠിക്കുന്ന മുൻ പ്രബന്ധങ്ങളിൽ ജോൺ മൈഹിൽ രേഖീയ അതിർത്തി ഓട്ടോമാറ്റയുടെ നിർവചനം (മൈഹിൽ 1960), റേമണ്ട് സ്മുല്ല്യന്റെ പ്രാഥമിക സെറ്റുകളെക്കുറിച്ചുള്ള പഠനം (1961), തത്സമയ കണക്കുകൂട്ടലുകളെക്കുറിച്ചുള്ള ഹിസാവോ യമാഡയുടെ പേപ്പർ (1962) എന്നിവ ഉൾപ്പെടുന്നു.
1960-ൽ ആരാണ് ലീനിയർ ബൌണ്ടഡ് ഓട്ടോമാറ്റയുടെ നിർവചനം നൽകിയത്?