Científico informático estadounidense (nacido en 1936)
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 Turing de la ACM en 1993 "en reconocimiento a su artículo seminal que estableció las bases para el campo de la teoría de la complejidad computacional ". [1] En 1994 fue incluido como miembro de la Association for Computing Machinery .
Stearns se graduó con una licenciatura en matemáticas en el Carleton College en 1958. [2] Luego recibió su doctorado en matemáticas en la Universidad de Princeton en 1961 después de completar una disertación doctoral, titulada Juegos cooperativos de 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 de expresiones regulares que preservan la regularidad", Información y control , 6 (1): 55–69, doi : 10.1016/S0019-9958(63)90110-4. Un primer estudio sistemático de las operaciones del lenguaje 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 jerarquía temporal , 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 hacia abajo", Información y control , 11 (3): 323–340, doi : 10.1016/S0019-9958(67)90591-8Responde una pregunta básica sobre los autómatas pushdown deterministas : es decidible si un autómata pushdown determinista dado acepta un lenguaje regular .
- Lewis II, PM; Stearns, RE (1968), "Transducción dirigida por sintaxis", Journal of the ACM , 15 (3): 465–488, doi : 10.1145/321466.321477 , S2CID 16512120Presenta los analizadores LL , que juegan un papel importante en el diseño del compilador .
Referencias
- ^ Lewis, Philip M. "Richard ("Dick") Edwin Stearns". AMTuring.ACM.org . Asociación para Maquinaria Informática . Consultado el 10 de marzo de 2019 .
- ^ "Richard E Stearns - Ganador del 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 Xplore . Consultado el 15 de febrero de 2024 .
Enlaces externos