Les langues officielles sont étudiées en informatique et en linguistique ; le domaine de la théorie de la langue formelle étudie les aspects purement syntaxiques de ces langues -LRB- c'est-à-dire leurs structures internes -RRB-.
Les chaînes produites par une grammaire formelle -LRB- voir Chomsky hierarchy -RRB- ;