formal-language

수학적 논리나 프로그래밍 언어처럼 엄격한 문법과 의미 규칙을 가진 언어이다. 언어 모델의 모호한 추론을 정밀하게 검증하는 도구로 쓰인다.