Що таке метамова:
Метамова - це мова, що використовується для опису, викладу чи аналізу мови.
У логіці та лінгвістиці метамова використовується для аналізу та структурування логічних проблем, що виникають із-за семантичних парадоксів у мові, що використовується для опису об’єктів.
Метамова також визначається як спеціалізована мова для опису природної лінгвістичної системи або іншої мови, що вважається об'єктом аналізу. Це особливо актуально при вивченні нової мови, наприклад, "слово мову означає "мова" англійською ".
Вирази в метамові часто відрізняються від мови-об'єкта за допомогою курсиву, лапок або окремих рядків, хоча це не завжди виражається так.
Британський автор Бертран Рассел (1872-1970) визначив теорію ієрархії мов на двох рівнях:
- Мовно-об’єктний рівень: використовується для позначення об'єктів, таких як "вони люди".
- Металінгвістичний або метамовний рівень: це мова, що використовується для визначення попереднього рівня, наприклад, у фразі "іммігранти - це люди", "іммігранти" зустрічаються на рівні метамови.
З іншого боку, польський автор Альфред Тарський (1901-1983) визначає метамову як вирішення семантичних парадоксів, заявляючи, що «необхідно говорити правду про мову з іншої мови, яка називається метамова».
Деякі приклади метамови - це граматична мова, лексикографічна мова, логічна мова, дитяча мова, технічна мова, комп’ютерна мова тощо.
У лінгвістиці в мові виділяють шість застосувань або функцій, одним з яких є метамовна функція, яка використовує метамову, щоб говорити про саму мову. Наприклад: "Метамова - це мова".
Характеристика метамови
Метамова має специфічні характеристики, які допомагають краще зрозуміти повідомлення завдяки логічній складності, яку він підтримує. Альфред Тарський визначає деякі основні характеристики мови, яка вважається метамовою:
- Метамова визначає мову, використовуючи іншу мову.
- Метамова повинна бути багатшою, ніж мова-об'єкт, оскільки вона описує її речення та синтаксис.
- Метамова розуміється в рамках теорії множин та двійкової логіки.
- Метамова має бути копією мови-об'єкта, щоб те, що можна сказати з нею, також могло бути виражене метамовою.
Метамова в обчислювальній техніці
Метамова в інформатиці використовується для точного опису рядків програм. У 1950 р. У галузі обчислювальної техніки існувало два типи проблем для складання комп'ютерних програм:
- Відсутність конструкції математичної мови для вираження алгоритму.
- Неможливість перекладу програм у комп’ютерний код.
Перша проблема була вирішена завдяки створенню дисципліни проектування комп'ютерних програм, а друге питання вирішено завдяки генерації компіляторів, які визначаються як метамова, будучи програмою, яка читає програму.
Комп’ютерні компілятори базуються на мовах програмування. Одним з найбільш використовуваних є BNF (форма Бакуса-Наура), створена Джоном Бакусом та Пітером Науром, що розробляється самостійно Ноамом Хомським, також відомим як ієрархія моделі TYPE2 Хомського.
Компілятори генерують синтаксичний аналіз, виявляючи більшість помилок у вихідному коді, і перекладають його в еквівалентну програму іншою мовою (об'єктний код).
