formalizácia jazyka
- striktné syntakticko-sémantické vybudovanie alebo rekonštruovanie jazyka. Výsledkom formalizácie jazyka je formalizovaný jazyk.