Метапеременный

• Определение метапеременной

  • Метапеременная — символ или строка, обозначающий элементы объектного языка в метаязыке. 
  • Пример: символы A и B в метаязыке, описывающие утверждение на объектном языке ℒ. 

• Критика метапеременных

  • Джон Коркоран считает термин неудачным, затрудняющим использование схем. 
  • «Переменные» не распространяются на предметную область. 

• Требования к метапеременным

  • Метапеременная должна быть единообразно заменена в схеме. 
  • В отличие от нетерминалов в грамматиках, где они могут быть заменены другими экземплярами. 

• Формализация метапеременных

  • Попытки формализации приводят к теории типов. 

• Связанные понятия

  • Явная подстановка 
  • Записи 
  • Рекомендации