Les dejo un texto de Agustín Rayo (profesor del MIT) sobre lenguajes formales y formalización. No es para que lo lean todo. La primera parte habla acerca de lo que estuvimos viendo en clase.

http://www.mediafire.com/view/?yi7p5zlayjz84t5