Визначення метамови

Поняття метамови використовується в двох різних областях. У галузі лінгвістики термін відноситься до мови, яка використовується для позначення мови , в той час як в обчисленні поняття відноситься до мови, використовуваної для опису системи мови програмування .

Як можна бачити, поза відмінностями, що наводяться контекстом, існує велика подібність між обома визначеннями. Метаязик завжди є мовою (способом вираження через набір правил і знаків), що говорить про іншу мову (називається мовою об'єкта в контексті цього відношення).

Іноді метамов є такою ж, як і мова об'єкта: це трапляється, щоб посилатися на можливість, коли ви звертаєтеся до англійської, щоб посилатися на той же англійський . Метаязик, з іншого боку, може діяти як об'єктна мова в іншому посиланні.

Орієнтуючись на лінгвістику, метаязык є результатом функції, прийнятої природною мовою . Лінгвістичний код, таким чином, приймається як об'єкт висловленого твердження. Інакше кажучи: метамовою є мова, яка використовується для опису мови .

Розглянемо пропозицію "Відійти - це неправильний дієслово" . У цьому випадку дієслово "exit" використовується з металінгвістичною функцією, оскільки описує мовні властивості. Існує використання, таким чином, метамови.

У інформатиці метаїзм використовується для того, щоб сказати щось про іншу мову. Прикладом може служити XML , метамови, що визначають такі мови, як MathML і XHTML відповідно до потреб.

border=0

Пошук іншого визначення