Les langues officielles sont souvent utilisées comme base pour des constructions plus riches dotées de sémantiques.
C'est le genre de question que posent la théorie de la calculabilité et la théorie de la complexité.