Máquina_de_Turing_ounibersal
Cumputador cun porgrama armazenado
Dabis apersentou un argumiento cumbincente de que la cuncepçon de Turing subre l que ye coincido cumo "cumputador cun porgrama armazenado" (que coloca la "tabela d'açon" -- anstruçones pa la máquina-na mesma "mimória" cumo dado d'antrada) anfluenciou fuortemente John von Neumann na cuncepçon de l purmeiro cumputador baseado an simblos çcretos (al cuntrairo d'análogos), l EDBAC. Para esso, Dabis cita na rebista Eiquipa que todos que digitan nun botoneira stan trabalhando nua ancarnaçon dua máquina de Turing i que John von Neumann trabalhou apoiado na obra de Alan Turing. Dabis antroduç l'heipótese que la Máquina Outomática de Cumputaçon (en: ACE) "antecipou" las noçones de microprogramaçon (microcódigo) i processadores RISC (Dabis 2000:188). Knuth cita l'obra de Turing ne l cumputador ACE cun un porjeto d'hardware para facelitar la ligaçon de subrotinas (Knuth 1973:225); Dabis tamien faç refréncia a l'obra cumo l'uso "Turing" dua pilha an hardware (Dabis 2000:237 nota de rodapie 18). Cumo la máquina de Turing staba ancentibando la custruçon de cumputadores, la MTU staba ancentibando l zambolbimiento de l'ancipiente ciéncia de la cumputaçon. Un antigo, se nun purmeiro, montador fui proposto pa l EDBAC (Dabis 2000:192). L purmeiro porgrama bien cumpuosto tenie cumo oubjeto simplesmente ourdenar dados eficientemente. (Dabis 2000:184). Knuth ouserba que la l'ancorporoaçon de l retorno dua subrotina ne l própio porgrama (an beç de registradores speciales) ye atribuible la von Neumann i Goldstine. Knuth inda afirma que la purmeira rotina anterpretatiba puode ser dita cumo la "máquina de Turing ounibersal". Rotinas anterpretatibas, ne l senso formal fui mencionado por John Mauchly nas sues palhestras na More Schol an 1946. Turing tamien tomou parte de l zambolbimiento: sistemas anterpretatibos pa l piloto de l cumputador ACE fui scrito sob sue eideia. (Knuth 1973:226). Dabis menciona brebemente sistemas ouperacionales i cumpiladores cumo resultados de la noçon de porgrama cumo un cunjunto de dados (Dabis 2000:185). Alguns, antretanto, puoden liebantar questones subre essa abaluaçon. Ne ls meados de las décadas de 40 i 50, un grupo relatibamente pequeinho de pesquisadores staba antimamente ambolbido cula arquitetura de ls nuobos "cumputadores digitales". Hao Wang (1954), un moço pesquisador nessa época, fizo la seguinte ouserbaçon: la teorie de funçones cumputables de Turing antecedírun mas nun anfluenciórun an grante scala la stensiba custruçon atual de cumputadores digitales. Ls dous aspetos de teorie i prática fúrun zambolbidos, quaije qu'anteiramente, andependientemente un de l'outro. La rezon percipal andiscutible ye que ls lógicos stan antressados an questones radicalmente defrentes daquelas que matemáticos aplicados i angenheiros eilétricos stan preacupados. Anque desso, debe-se çtacar que frequentemente cunceitos similares son spressados por defrentes tenermos ne ls dous galhos de zambolbimiento. (Wang 1954, 1957:63) Wang speraba que sou artigo podisse "conetar dues abordaiges". De fato, Minsky cunfirma que la purmeira formulaçon de la teorie de la máquina de Turing an modelos de cumputaçon ye feita por Wang (1957) (Minsky 1967:200). A a respeito de la reduçon de cumputadores para modelos Turing eiquibalentes (al alrobés), l'andicaçon de Minsky subre Wang tener feito "la purmeira formulaçon" stá abierta para çcusson. Anquanto ambos artigos de Minsky i Wang (1961 / 1957) séren citados por Shepherdson and Sturgis (1963), eilhes tamien citan i resumen an alguns detalhes l trabalho de ls matemáticos ouropeus Kaphenst (1959), Ershob (1959) i Péter (1958). Ls nomes de ls matemáticos Heirmes (1954, 1955, 1961) i Kaphenst (1959) aparecen na bibliografie d'ambos Sheperdson-Sturgis (1963) i Eilgot-Robinson (1961). Outros dous nomes d'amportança son ls pesquisadores canadianos Melzak (1961) i Lambek (1961). Refréncias puoden ser ancontradas an | Máquina de registro.