Dans le domaine de l'informatique et des mathématiques, qui ne traitent généralement pas des langues naturelles, l'adjectif "formel" est souvent considéré comme superflu.
Langage naturel pour les langues non formelles