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 de programmation pour l'application des langues officielles aux ordinateurs de programme