Breve historia de la computación teórica parte IV.
Stephen Cole Kleene
Nació el 5 de enero de 1909 en Hartford, Connecticut, Estados Unidos y muere el 25 de enero de 1994 en madison, Wisconsin.
Kleene trabajo en la lógica matemática, sus aportaciones a la teoría computacional son la teoría de las funciones μ-recursivas la cual basa su mecanismo de computo en la composición de funciones y no en la transición entre estados (programación funcional), también se especializo en el estudio de las funciones recursivas y la teoría de los autómatas.
Las funciones μ-recursivas.
Son una clase de funciones de los números naturales donde los números naturales son computables desde un sentido intuitivo, las funciones recursivas pueden ser calculadas con un formalismo de cómputo con una maquina de Turing.
Aportaciones en autómatas.
AF→ER. Teorema de Kleene
ER→AF. Teorema de Kleene.
Publicaciones:
La representación de eventos en redes nerviosas y autómatas finitos. Estudio de autómatas 1956.
Bibliografía.
student.cs.uwaterloo.ca:
http://www.student.cs.uwaterloo.ca/~cs462/Hall/kleene.html
www.cs.us.es/curso/comp/comp-t4.pdf
www-history.mcs.st-and.ac.uk:
www-history.mcs.st-and.ac.uk/Mathematicians/Kleene.html
Documentos del dominio publico sin autor.
No hay comentarios:
Publicar un comentario