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é.
C'est le genre de question que posent la théorie de la calculabilité et la théorie de la complexité.