사람과 기계 사이의 대화를 가능하게 해 주는 것으로서 어떤 알고리즘이나 자료 구조를 서술하기 위한 임의의 기호. 작업 지시서인 프로그램을 작성하는 데 사용하는 언어로서 컴퓨터 언어라고도 한다. 기계 중심으로 만들어진 기계어, 어셈블리어, 인간 중심으로 쓰기 쉽게 만들어진 컴파일러, 번역기 등과 특정한 문제를 풀 수 있는 문제 중심의 언어인 모의 실험용 언어 등이 있다.