формалізована мова

ФОРМАЛІЗОВАНА МОВА — спеціальна штучна мова, що будується як певне логічне числення. Від звичайної природної мови відрізняється як способом оперування виразами, так і своїм призначенням. Усі вирази Ф. м. є формулами, операції над якими здійснюються за правилами, що визначаються лише структурою цих формул і абстрагуються від їхнього змісту. Це дає змогу досягти точності і однозначності вживання виразів, чого не забезпечує природна мова. Завдяки цьому Ф. м. є зручним засобом аналізу наукових теорій в математиці, логіці, фізиці та ін. Кожна Ф. м. має свій синтаксис, який визначає її структуру, правила побудови формул і правила перетворення одних формул на інші, і свою семантику, яка визначає систему правил приписування значень формулам мови. До Ф. м. звичайно ставлять вимоги несуперечливості, повноти тощо, характерні для числень. Ф. м. є основою для створення інформаційних машинних мов.