Метапеременная - Metavariable

Термин, используемый в информатике и программировании, см. Метасинтаксическая переменная.

В логика, а метапеременная (также металингвистическая переменная[1] или же синтаксическая переменная)[2] это символ или символьная строка, принадлежащая метаязык и обозначает элементы некоторых объектный язык. Например, в предложении

Позволять А и B быть двумя предложениями языка ℒ

символы А и B являются частью метаязыка, на котором формулируется высказывание об объектном языке ℒ.

Джон Коркоран считает эту терминологию неудачной, поскольку она скрывает использование схемы и потому, что такие «переменные» на самом деле не охватывают область.[3]:220

По соглашению метапеременная должна быть равномерно заменена одним и тем же экземпляром во всех его проявлениях в данной схеме. Это контрастирует с нетерминальный символы в формальные грамматики где нетерминалы справа от продукции могут быть заменены разными экземплярами.[4]

Попытки формализовать понятие метапеременной приводят к некоторому теория типов.[5]

Смотрите также

Примечания

  1. ^ Охотник, п. 13.
  2. ^ Шенфилд 2001, п. 7.
  3. ^ Коркоран 2006, п. 220.
  4. ^ Теннент 2002 С. 36–37, 210.
  5. ^ Масахико Сато, Такафуми Сакураи, Юкиёси Камеяма и Ацуши Игараси. "Исчисления мета-переменных[постоянная мертвая ссылка ]" в Логика компьютерных наук. 17-й международный семинар CSL 2003. 12-я ежегодная конференция EACSL. 8-й Коллоквиум Курта Гёделя, KGC 2003, Вена, Австрия, 25-30 августа 2003 г. Протоколы, Springer Конспект лекций по информатике 2803. ISBN  3-540-40801-0. стр. 484–497

Рекомендации