사무자동화산업기사 프로그래밍 언어 종류 — 컴파일러·인터프리터·예약어·변수

번역 방식은 생성물과 실행 시점으로 갈린다. 컴파일러는 원시 프로그램 전체를 한 번에 기계어로 번역해 목적 프로그램(목적 파일)을 만들고, 만들어진 목적 프로그램을 실행하므로 실행 효율성이 높다. 인터프리터는 소스를 매번 번역하면서 실행하기 때문에 목적 프로그램을 생성하지 않고, 번역에 드는 부담 때문에 반복문이 많은 프로그램에서는 컴파일 방식보다 불리하다 — 다만 융통성이 있고 줄 단위로 번역하며 추가 메모리가 드는 것이 인터프리터의 특징이다. 포트란·코볼·파스칼은 컴파일 방식의 대표적인 언어다. 실행 시간 효율성을 중시할수록 컴파일러를 쓰므로, 실행 효율에서 인터프리터가 유리하다는 설명은 거리가 먼 선지가 된다.

예약어는 언어의 문법 구조를 잡아 주는 장치다. 예약어는 변수명으로 쓸 수 없고, 구문 분석기가 문법 구조를 빠르게 인식하게 하며 심볼 테이블 검색을 단축하고 문법 오류가 났을 때 오류 복구 전략을 세우는 데 기여한다. 따라서 예약어가 판독성을 떨어뜨린다거나 언어가 발전할수록 예약어 수가 적어진다는 설명은 옳지 않다 — 오히려 표현력이 풍부해지면서 예약어가 늘어나는 경향이 있다.

번역의 첫 단계와 값의 성질도 함께 묻는다. 어휘 분석은 원시 프로그램을 문자 단위로 스캐닝해 토큰(token)을 만들어 내는 단계이고, 문법 검사와 중간 코드 생성은 파서(구문 분석)의 역할이므로 어휘 분석이 문법을 검사한다는 설명은 틀린 선지다. 변수는 프로그램 실행 중 값이 변경될 수 있는 메모리 공간으로 이름·값·속성으로 구성되고 명시적 선언과 묵시적 선언이 모두 있으며, 변경되지 않는 공간은 상수라서 변수와 구분된다.