théorie des langages formels

La théorie des langages formels est une branche de la logique mathématique.

Ce qu'elle étudie

Elle étudie les langages formels, c'est-à-dire des ensembles de suites de symboles construites selon des règles précises, plutôt que les langues parlées ou écrites au sens courant.

Où elle se place

Elle appartient à la logique mathématique et entretient des liens étroits avec l'informatique théorique.