24. 개념·정의형 예상문제 1 (언어 평가·구문·의미)

이 예상문제는 실제 기출문제를 그대로 옮긴 것이 아닙니다. 국가평생교육진흥원이 공개한 독학학위제 컴퓨터과학 전공 3단계 「프로그래밍언어론」 평가영역(출제기준)에 근거해, 06~08편에서 다룬 언어의 역사·패러다임, 언어 평가 기준과 설계 원칙, 구문과 의미(BNF/EBNF·속성 문법·정적/동적 의미) 영역의 개념·정의를 확인하도록 새로 구성한 문제입니다. 실제 회차의 문항 수·배점·시험 시간은 매 공고마다 달라질 수 있으므로 반드시 응시 회차의 공식 공고를 확인하시기 바랍니다.

이 편은 코드·계산 추론보다는 용어의 정의와 개념 간의 경계를 정확히 아는지를 묻는 문제로 구성했습니다. “옳지 않은 것을 고르시오” 유형이 많으므로, 보기 네 개를 하나씩 따로 놓고 그 진술 자체가 참인지 거짓인지 판단한 뒤 답을 고르는 방식으로 복습하는 것을 권장합니다.

문항 배분

영역	문항 수	문항 번호
언어의 역사와 패러다임	8	1–8
언어 평가 기준과 설계 원칙	6	9–14
구문과 의미: BNF/EBNF·속성 문법·정적/동적 의미	10	15–24
합계	24	1–24

언어의 역사와 패러다임 (1–8번)

문제 14지선다

프로그래밍 언어와 그 언어의 구현(implementation)의 관계에 대한 설명으로 옳은 것은?

언어는 문법과 의미의 약속이고, 구현은 그 약속을 실제로 동작시키는 프로그램이므로 하나의 언어에 여러 구현이 존재할 수 있다언어와 구현은 항상 일대일로 대응하므로 하나의 언어에는 반드시 하나의 구현만 존재한다구현이 없어도 언어는 실제 컴퓨터에서 곧바로 실행될 수 있다언어는 특정 컴퓨터 기종에 종속되어 정의되는 개념이다

문제 24지선다

초기 프로그래밍 언어 발전사에 대한 설명으로 옳지 않은 것은?

포트란(Fortran)은 과학·공학 계산을 위한 초기 고급 언어로 개발되었다ALGOL은 이후 여러 언어의 블록 구조와 문법 설계에 영향을 준 언어로 평가된다C 언어는 시스템 프로그래밍을 목적으로 설계되어 하드웨어에 가까운 제어가 가능하다자바(Java)는 하드웨어 명령을 직접 처리하는 어셈블리어 계열 언어로 분류된다

문제 34지선다

언어 설계에 영향을 준 요인에 대한 설명으로 가장 적절한 것은?

하드웨어 성능과 무관하게 언어 설계는 항상 동일한 방향으로 발전해 왔다하드웨어 발전과 소프트웨어 개발 트렌드(대규모 협업, 안전성 요구 등)는 모두 언어 설계에 영향을 준 요인이다언어 설계는 오직 수학 이론의 발전에 의해서만 결정된다언어 설계는 특정 회사의 마케팅 전략과는 전혀 무관하게 이루어진다

문제 44지선다

다음 중 명령형(imperative) 패러다임에 속하는 언어로 가장 적절한 것은?

하스켈(Haskell)PrologCML

문제 54지선다

프로그래밍 언어의 네 가지 주요 패러다임 분류로 옳은 것은?

명령형, 객체지향, 함수형, 논리형컴파일형, 인터프리트형, 하이브리드형, 스크립트형정적형, 동적형, 강형, 약형고급 언어, 저급 언어, 어셈블리어, 기계어

문제 64지선다

도메인 특화 언어(domain-specific language)의 특징에 대한 설명으로 가장 적절한 것은?

모든 종류의 응용 분야를 동등하게 다룰 수 있도록 범용으로 설계된다특정 응용 분야(예: 웹, 통계 처리 등)의 작업을 효율적으로 표현하도록 설계된다반드시 명령형 패러다임만을 따라야 한다하드웨어와 완전히 무관하게 추상적인 수학 이론만을 표현한다

문제 74지선다

프로그래밍 언어 발전사에서 각 언어와 주된 설계 목적을 짝지은 것으로 옳지 않은 것은?

포트란 - 과학·공학 계산C - 시스템 프로그래밍자바 - 플랫폼 독립적인 응용 프로그램 개발ALGOL - 대규모 병렬 분산 처리 전용

문제 84지선다

객체지향 패러다임에 대한 설명으로 옳은 것은?

상태와 동작을 클래스와 객체로 묶어 표현하고 상속·다형성 같은 기법을 지원한다프로그램을 사실과 규칙의 모음으로 표현하고 질의로 답을 탐색한다변수의 값 변경을 금지하고 함수의 조합만으로 계산을 표현한다컴퓨터에게 수행할 명령을 순서대로 나열하는 것을 유일한 표현 방식으로 삼는다

언어 평가 기준과 설계 원칙 (9–14번)

문제 94지선다

프로그래밍 언어의 평가 기준 중 가독성(readability)에 대한 설명으로 가장 적절한 것은?

작성된 프로그램을 사람이 얼마나 쉽게 읽고 이해할 수 있는가를 나타내는 기준이다프로그램이 오류 없이 예상대로 동작하는 정도를 나타내는 기준이다컴파일된 프로그램이 실행되는 속도를 나타내는 기준이다프로그램을 처음부터 작성하는 데 걸리는 시간을 나타내는 기준이다

문제 104지선다

직교성(orthogonality)에 대한 설명으로 옳은 것은?

언어의 기능이 서로 독립적이면서도 일관되게 조합될 수 있는 성질을 뜻한다프로그램이 여러 대의 컴퓨터에서 동시에 실행될 수 있는 성질을 뜻한다컴파일 시점에 모든 형 오류를 발견할 수 있는 성질을 뜻한다언어에 예약어가 전혀 없는 성질을 뜻한다

문제 114지선다

언어 설계의 트레이드오프(trade-off)에 대한 설명으로 옳지 않은 것은?

형 안전성을 강화하면 대체로 유연성이 다소 줄어드는 경향이 있다정적 검사를 늘리면 컴파일 시점에 발견하는 오류는 늘지만 컴파일 시간이 길어질 수 있다가독성과 간결성은 항상 같은 방향으로만 향상되며 서로 상충하지 않는다효율성을 높이기 위한 저수준 제어를 허용하면 가독성이나 안전성이 떨어질 수 있다

문제 124지선다

신뢰성(reliability)에 영향을 주는 언어 설계 요소로 가장 거리가 먼 것은?

형 검사(type checking)의 엄격함예외 처리 지원 여부변수 초기화를 강제하는지 여부프로그램 소스 코드 파일의 이름 규칙

문제 134지선다

작성 용이성(writability)에 대한 설명으로 가장 적절한 것은?

프로그램을 실행했을 때 자원을 얼마나 적게 쓰는가를 나타낸다주어진 문제를 해결하는 프로그램을 얼마나 쉽고 간결하게 작성할 수 있는가를 나타낸다다른 컴퓨터로 프로그램을 옮겼을 때 그대로 동작하는 정도를 나타낸다프로그램이 악의적인 공격으로부터 얼마나 안전한가를 나타낸다

문제 144지선다

정적 검사(static checking)와 동적 검사(dynamic checking)를 비교한 설명으로 옳지 않은 것은?

정적 검사는 컴파일 시점에 오류를 발견하려 시도한다동적 검사는 프로그램이 실제로 실행되는 도중에 오류를 발견한다정적 검사를 많이 지원하는 언어일수록 실행 전에 잡아낼 수 있는 오류의 범위가 넓어지는 경향이 있다동적 검사는 실행 전에 오류를 모두 발견하므로 정적 검사보다 항상 더 안전하다

구문과 의미: BNF/EBNF·속성 문법·정적/동적 의미 (15–24번)

문제 154지선다

구문(syntax)과 의미(semantics)의 차이에 대한 설명으로 옳은 것은?

구문은 문장이 올바른 형태를 갖췄는지를 다루고, 의미는 그 문장이 실제로 무엇을 뜻하는지를 다룬다구문과 의미는 완전히 같은 개념이며 시험에서 구분할 필요가 없다구문은 프로그램의 실행 속도를 다루고, 의미는 프로그램의 형태를 다룬다의미는 컴파일 시점에만 존재하고 구문은 실행 시점에만 존재한다

문제 164지선다

BNF(Backus-Naur Form)에서 생성 규칙 다음 표기가 뜻하는 바로 옳은 것은? (표기: 비단말기호 문장은 비단말기호 조건문 또는 비단말기호 반복문으로 정의된다는 생성 규칙이 세로 막대로 연결되어 있다)

문장은 조건문과 반복문을 모두 동시에 포함해야 한다는 뜻이다문장은 조건문이거나 반복문 중 하나로 대체될 수 있다는 선택을 뜻한다문장이라는 비단말기호가 더 이상 존재하지 않는다는 뜻이다조건문과 반복문 사이에 반드시 특수 문자가 와야 한다는 뜻이다

문제 174지선다

EBNF(Extended BNF)가 BNF와 비교해 갖는 차이로 옳은 것은?

EBNF는 단말기호와 비단말기호를 구분하지 않는다EBNF는 반복이나 선택 사항을 나타내는 중괄호나 대괄호 표기 등을 추가로 지원해 문법을 더 간결하게 표현할 수 있다EBNF는 문맥 자유 문법과 전혀 관계가 없는 별개의 이론이다EBNF는 오직 자연어 문법만을 표현하기 위해 고안되었다

문제 184지선다

구문 도표(syntax diagram)에 대한 설명으로 가장 적절한 것은?

언어의 문법 규칙을 도형과 화살표로 시각화해 표현한 것이다프로그램이 실행되는 동안 변수 값이 바뀌는 과정을 표시한 도표다컴파일러 내부의 목적 코드 생성 과정을 표시한 도표다프로세스의 상태 전이를 표시하기 위한 도표다

문제 194지선다

속성 문법(attribute grammar)에 대한 설명으로 옳은 것은?

문맥 자유 문법에 각 문법 요소가 가지는 속성과 그 속성을 계산하는 규칙을 덧붙여 정적 의미까지 함께 표현하는 방법이다프로그램의 실행 속도를 빠르게 하기 위한 컴파일러 최적화 기법이다변수의 이름을 자동으로 생성해 주는 프로그램 자동화 도구다오직 동적 의미만을 표현하기 위해 고안된 표기법이다

문제 204지선다

정적 의미(static semantics)에 해당하는 예로 가장 적절한 것은?

프로그램 실행 중 배열의 인덱스가 범위를 벗어나 발생하는 오류변수를 선언하지 않고 사용했을 때 컴파일 시점에 발견되는 오류실행 중 0으로 나누기를 시도해 발생하는 오류실행 중 사용 가능한 메모리가 부족해 발생하는 오류

문제 214지선다

동적 의미(dynamic semantics)에 대한 설명으로 옳지 않은 것은?

프로그램이 실제로 실행되었을 때 각 문장이 어떤 동작을 하는지를 규정한다변수를 선언하지 않고 사용하는 오류처럼 실행 전에 발견되는 오류를 다룬다같은 구문이라도 언어마다 동적 의미가 다르게 정의될 수 있다동적 의미를 기술하는 방법에는 자연어 서술, 형식적 의미론 등이 있다

문제 224지선다

다음 중 문맥 자유 문법(context-free grammar)의 특징으로 가장 적절한 것은?

한 비단말기호를 다른 기호들로 바꾸는 생성 규칙의 왼쪽에는 정확히 하나의 비단말기호만 올 수 있다생성 규칙 왼쪽에는 반드시 여러 개의 비단말기호가 함께 와야 한다단말기호만으로 이루어진 문법을 뜻한다실행 시점에만 적용되는 문법 규칙을 뜻한다

문제 234지선다

BNF에서 비단말기호(nonterminal)와 단말기호(terminal)에 대한 설명으로 옳지 않은 것은?

비단말기호는 생성 규칙에 의해 다른 기호들로 더 대체될 수 있는 기호다단말기호는 더 이상 다른 기호로 대체되지 않는, 실제 문장에 나타나는 최종 기호다비단말기호는 대개 꺾쇠 괄호 없이 그냥 일반 단어로만 표기해야 한다하나의 생성 규칙은 비단말기호 하나를 단말기호와 비단말기호가 섞인 나열로 정의한다

문제 244지선다

다음 상황을 정적 의미 오류와 동적 의미 오류로 올바르게 구분한 것은? (상황 1: 함수에 선언된 매개변수 개수보다 적은 개수의 인자를 넘겨 호출해 컴파일이 실패한 경우. 상황 2: 정수 배열에서 배열의 크기를 넘는 인덱스로 접근해 실행 중 오류가 발생한 경우)

상황 1과 상황 2 모두 정적 의미 오류다상황 1은 정적 의미 오류이고, 상황 2는 동적 의미 오류다상황 1은 동적 의미 오류이고, 상황 2는 정적 의미 오류다상황 1과 상황 2 모두 동적 의미 오류다

참고 자료

국가평생교육진흥원 독학학위제