Langages formels

Langages définis par des règles mathématiques, formant la base théorique des langages de programmation.