형식 언어

수학적 규칙으로 정의되는 언어로, 프로그래밍 언어의 이론적 기반을 형성합니다.