Метапеременный
-
Определение метапеременной
- Метапеременная — символ или строка, обозначающий элементы объектного языка в метаязыке.
- Пример: символы A и B в метаязыке, описывающие утверждение на объектном языке ℒ.
-
Критика метапеременных
- Джон Коркоран считает термин неудачным, затрудняющим использование схем.
- «Переменные» не распространяются на предметную область.
-
Требования к метапеременным
- Метапеременная должна быть единообразно заменена в схеме.
- В отличие от нетерминалов в грамматиках, где они могут быть заменены другими экземплярами.
-
Формализация метапеременных
- Попытки формализации приводят к теории типов.
-
Связанные понятия
- Явная подстановка
- Записи
- Рекомендации
Полный текст статьи: