형식 언어

수학적 규칙에 따라 정의된 문자열의 집합으로, 프로그래밍 언어 및 문법 분석에 사용됩니다.