형식 언어

사람들이 의도한 목적을 두고 고안한 언어로 수학 아이디어나 컴퓨터 프로그램을 표현하는 언어. 모든 프로그래밍 언어는 형식 언어다.

토큰

프로그램의 구문 구조를 이루는 기본 원소 중에 하나. 자연 언어의 단어에 해당한다.

구문

프로그램의 구조를 결정하는 규칙

파스(parse)

프로그램을 조사하고 구문 구조를 분석하는 행동

버그

프로그램의 오류

디버깅

버그를 찾아 수정하는 과정