Метамова
Матеріал з Вікіпедії — вільної енциклопедії.
У логіці і лінгвістиці, метамова — мова, що використовується для описання інших мов (вихідні мови). Формальні синтаксичні моделі для описання граматики, наприклад породжуюча граматика — є різновидами метамови. Ширше, це може бути будь-яка термінологія або мова, що використовується для обговорення самої мови — наприклад, граматика, або судження про використання мови.
Як приклад, можна навести вислів «Петро курить» із допомогою висловів логіки: K(p), де K=курить і p=Петро.
[ред.] Джерела інформації
- Metalanguage (англ.), Wikipedia, 25 січня 2007.
[ред.] Дивіться також
- Формальна граматика
- Формальна мова
- XML schema
