초(超)언어라는 뜻으로, 컴퓨터 프로그램 언어의 구문 규칙을 기술하기 위해 사용되는 언어. 언어 기술 언어라고도 한다. 특수 기호를 써서 알골 60의 구문을 기술하는 데 사용되었던 배커스 나우어 형식(BNF)이 오늘날 프로그램 언어를 정의하는 데 흔히 사용되는 메타 언어의 일종이다.