Un langage formel se compose de mots dont les lettres sont tirées d'un alphabet et sont bien formés selon un ensemble de règles spécifiques.