Метаязык (metalanguage) — язык, используемый для определения некоторых или всех аспектов другого языка и, возможно, самого себя.
Пример. Форма Бэкуса-Наура.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Метаязык — язык для описания других языков. Чаще всего метаязык использует нотацию, в которой собственные символы описываемого языка являются терминальными символами метаязыка.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]