Le domaine informatique qui a pour objet de recherche la modélisation des languages naturels en langages de calcul et de programmation.