Stephen Kleene
Detalles- Detalles
- Categoría: Quién es quien
- Publicado el Domingo, 24 Septiembre 2006 13:48
Trabajó en teoría de autómatas y funciones computables.
Junto con Alonzo Church es uno de los primeros en investigar la computabilidad de los problemas. Su trabajo se desarrolla dentro de la "Teoría de la computabilidad", habiendo tenido especial impacto en dos areas: las de los autómatas (quizá te suene la "Clausura de Kleene") y por extensión las gramáticas regulares, y la de las funciones computables.
Enlaces:
-Kleene en la Wikipedia
-Cálculo Lambda en la wikipedia (en inglés)
