informático estadounidense
Richard Edwin Stearns (nacido el 5 de julio de 1936) es un científico informático estadounidense que, junto con Juris Hartmanis , recibió el premio ACM Turing de 1993 "en reconocimiento a su artículo fundamental que estableció las bases para el campo de la teoría de la complejidad computacional ". [1] En 1994 fue admitido como miembro de la Association for Computing Machinery .
Stearns se graduó con una licenciatura en matemáticas de Carleton College en 1958. [2] Luego recibió su doctorado. en matemáticas de la Universidad de Princeton en 1961 después de completar una tesis doctoral, titulada Juegos cooperativos para tres personas sin pagos secundarios , bajo la supervisión de Harold W. Kuhn . [3] Stearns es ahora Profesor Emérito Distinguido de Ciencias de la Computación en la Universidad de Albany , que forma parte de la Universidad Estatal de Nueva York . [4]
Bibliografía
- Stearns, RE; Hartmanis, J. (marzo de 1963), "Modificaciones que preservan la regularidad de expresiones regulares", Información y control , 6 (1): 55–69, doi : 10.1016/S0019-9958(63)90110-4. Un primer estudio sistemático de las operaciones lingüísticas que preservan los lenguajes regulares .
- Hartmanis, J .; Stearns, RE (mayo de 1965), "Sobre la complejidad computacional de los algoritmos", Transactions of the American Mathematical Society , 117 , American Mathematical Society: 285–306, doi : 10.2307/1994208 , JSTOR 1994208, MR 0170805. Contiene el teorema de la jerarquía del tiempo , uno de los teoremas que dieron forma al campo de la teoría de la complejidad computacional .
- Stearns, RE (septiembre de 1967), "Una prueba de regularidad para máquinas de empuje", Información y control , 11 (3): 323–340, doi : 10.1016/S0019-9958(67)90591-8. Responde a una pregunta básica sobre los autómatas pushdown deterministas : es decidible si un autómata pushdown determinista dado acepta un lenguaje regular .
- Luis II, primer ministro; Stearns, RE (1968), "Transducción dirigida por sintaxis", Journal of the ACM , 15 (3): 465–488, doi : 10.1145/321466.321477 , S2CID 16512120. Introduce analizadores LL , que desempeñan un papel importante en el diseño de compiladores .
Referencias
- ^ Lewis, Philip M. "Richard ("Dick") Edwin Stearns". AMTuring.ACM.org . Asociación para Maquinaria de Computación . Consultado el 10 de marzo de 2019 .
- ^ "Richard E Stearns - Premio AM Turing". amturing.acm.org . Consultado el 18 de junio de 2020 .
- ^ Stearns, Richard Edwin (1961). Juegos cooperativos para tres personas sin pagos adicionales.
- ^ "Richard E. Stearns". IEEE Xplorar . Consultado el 15 de febrero de 2024 .
enlaces externos