①자연 언어의 모호성이나 논리적 부적합성을 피하기 위해 형식 인공 언어나 기호 계산을 통해 형식 논리를 다루는 언어. 이 방식으로 정형화의 정확성을 높이고 복잡한 문제를 쉽게 다룰 수 있다.
②프로그래밍 언어 중에서 기계어에 가장 근사한 언어. 어셈블리 언어라고도 한다. 기호 언어는 어셈블러에 의해서 기계어로 변환된다. 이 언어는 명령 부호를 기호로 쓸 수 있고, 상대 및 절대 주소를 적절히 기호로 쓸 수 있는 특징이 있다.