ФОРМАЛИЗОВАННЫЙ ЯЗЫК

ФОРМАЛИЗОВАННЫЙ ЯЗЫК (formalized language). Язык, полностью или частично определенный по некоторым формальным правилам. К Ф. я. относятся искусственно созданные алгоритмические языки и языки программирования, основанные на точном предварительном описании алфавита, синтаксиса и семантики. Ф. я. противопоставляется естественный язык