He estado leyendo acerca de teoria de conjuntos para poder lograr a entender bien el B-Method y en general los metodos de demostracion, tambien algo de teoria de automatas. Me gustario poder comenzar a trabajar con la definicion formal de una maquina de Turing, y a partir de ella llegar al porque es necesario todas las tecnicas que se utilizan actualmente en la implementacion de los computadores.
Basicamente una maquina de turing es un automata que tiene contacto con un medio de almacenamiento. (http://www.warthman.com/ex-turing.htm)
Una buena lectura seria el "On Computable Numbers, with an Application to the Entscheidungsproblem".
2 comments:
Si de teoría de conjuntos se trata, siempre hago al misma recomendación a cada ser humano.... Logica1 de Enrique Casanovas y en general las obras de este maestro del formalismo.
Googleando un poco se puede llegar a su home page donde, en la sección textos docentes, nos encontramos con la colección de obras maestras del viejo enrique:
http://www.ub.es/modeltheory/casanovas/e.html#text
hohoholol b a i
Post a Comment