Par conséquent, la théorie de la langue formelle est un domaine d'application majeur de la théorie de la calculabilité et de la complexité.
Langage informatique pour l'application des langues officielles dans l'informatique