R. Busa, Introduzione all'informatica linguistica