27. 독학사 프로그래밍언어론 기출 분석 1 (개념·정의 중심)

재구성 출제 고지: 이 편은 국가평생교육진흥원 독학학위제 컴퓨터과학 전공 3단계 「프로그래밍언어론」의 최신 출제기준(평가영역) 전 범위를 근거로 새로 구성한 개념·정의 중심 재구성 문항 24개입니다. 실제 특정 회차의 기출 문항을 그대로 옮기거나 암기해 재현한 것이 아니며, 06~~11·17~~20·22~23편에서 다룬 개념 전 영역을 영역별 비중에 맞춰 재구성했습니다. 실제 응시 시 문항 수·배점·시험 시간은 그해 시행 공고를 반드시 확인하시기 바랍니다.

영역별 출제 경향과 이 편의 구성

프로그래밍언어론은 정의를 있는 그대로 고르는 문제보다, 개념 간 경계와 예외를 정확히 아는지를 “옳지 않은 것”, “짝지어진 것 중 틀린 것” 같은 형태로 자주 묻습니다. 아래 표는 26개 문항이 어느 영역에서 나왔는지와, 그 영역에서 오답률이 높은 대표적인 함정을 정리한 것입니다.

문항 번호	출제기준 영역	관련 편	오답이 자주 나오는 함정
1–2	언어 평가 기준(가독성·작성 용이성·신뢰성)	07편	평가 기준끼리 서로 겹치는 요소를 혼동
3	orthogonality(직교성)	07편	기능이 많은 것과 직교적인 것을 혼동
4	정적 검사 vs 동적 검사 트레이드오프	07편	둘 중 하나가 항상 우월하다고 단정
5–6	언어 역사·발전 배경	06편	특정 언어의 등장 목적을 다른 언어와 혼동
7	패러다임 분류	06편	한 언어가 한 패러다임만 지원한다고 오해
8	BNF 표기 요소	08편	비단말과 단말 기호를 혼동
9	EBNF와 BNF 차이	08편	EBNF가 표현력 자체를 바꾼다고 오해
10	속성 문법(attribute grammar)	08편	속성 문법을 구문 오류만 잡는 도구로 오해
11–12	정적 의미 vs 동적 의미	08편	형 검사를 항상 동적 의미로 착각
13	추상 자료형(ADT)	17편	ADT를 특정 언어 문법(class)과 동일시
14	캡슐화·정보 은닉	17편	캡슐화를 접근 제한자 유무로만 판단
15	상속 모델(단일·다중)	18편	다중 상속의 모호성 문제를 과소평가
16	오버로딩 vs 오버라이딩 vs 다형성	18편	세 개념을 서로 같은 것으로 혼동
17	동적 바인딩(메서드 호출)	18편	정적 바인딩과 결과가 항상 같다고 오해
18	세마포어(semaphore)	19편	P·V 연산의 순서·의미를 반대로 기억
19	모니터(monitor) vs 세마포어	19편	모니터를 세마포어의 완전한 동의어로 오해
20	메시지 전달(message passing)	19편	공유 메모리 방식과 혼동
21	예외 vs 에러	20편	문법 오류(컴파일 오류)를 예외로 오해
22	예외 전파(propagation)	20편	예외가 항상 발생 지점에서만 처리된다고 오해
23	함수형 언어: 순수 함수·고차 함수	22편	부작용이 있어도 값만 반환하면 순수하다고 오해
24	논리형 언어: Horn 절·Prolog	23편	규칙과 사실을 같은 것으로 혼동

문제 1

문제 14지선다

언어 평가 기준 중 가독성(readability)과 작성 용이성(writability)의 관계를 설명한 것으로 가장 적절한 것은?

가독성은 다른 사람(또는 나중의 자신)이 코드를 얼마나 쉽게 이해할 수 있는가에 관한 기준이고, 작성 용이성은 프로그래머가 원하는 프로그램을 얼마나 쉽고 빠르게 작성할 수 있는가에 관한 기준으로, 두 기준이 항상 같은 방향으로만 움직이는 것은 아니다.가독성과 작성 용이성은 완전히 동일한 개념을 가리키는 하나의 용어이다.작성 용이성이 높은 언어는 반드시 가독성도 함께 높아진다는 것이 항상 성립하는 법칙이다.가독성은 컴파일러의 실행 속도만을 의미하는 용어이다.

문제 2

문제 24지선다

언어의 신뢰성(reliability)에 기여하는 요소로 옳지 않은 것은?

강력한 형 검사를 통해 형이 맞지 않는 연산을 미리 걸러내는 것예외 처리 기능을 통해 실행 중 오류 상황에 대응할 수 있게 하는 것별칭(aliasing)을 제한 없이 아무 곳에서나 자유롭게 허용해 여러 이름이 같은 저장 공간을 예측 불가능하게 공유하도록 두는 것읽기 쉬운 문법을 통해 프로그래머가 실수를 더 쉽게 알아차리게 하는 것

문제 3

문제 34지선다

언어 설계 원칙 중 직교성(orthogonality)에 대한 설명으로 가장 적절한 것은?

적은 수의 기본 개념(구성 요소)들을 일관된 방식으로 자유롭게 조합할 수 있어, 특별한 예외 규칙 없이도 다양한 표현을 만들어 낼 수 있는 성질을 말한다.언어가 제공하는 기능의 총 개수가 많을수록 직교성이 높다고 정의한다.직교성은 오직 수학적 벡터 연산에만 적용되는 용어로, 프로그래밍언어 설계와는 무관하다.직교성이 높은 언어는 반드시 문법 규칙이 하나도 없는 언어를 뜻한다.

문제 4

문제 44지선다

정적 검사(static checking)와 동적 검사(dynamic checking)의 트레이드오프를 설명한 것으로 가장 적절한 것은?

정적 검사는 실행 전에 오류를 찾아내 신뢰성과 성능에 유리한 경향이 있지만 유연성이 떨어질 수 있고, 동적 검사는 유연하지만 오류가 실행 중에야 드러나며 검사 자체의 실행 중 비용이 발생할 수 있다.정적 검사는 어떤 상황에서도 동적 검사보다 무조건 더 나은 선택이다.동적 검사는 프로그램의 오류를 절대로 찾아낼 수 없는 무의미한 절차이다.정적 검사와 동적 검사는 같은 시점에 동일한 방식으로 수행되는 하나의 절차이다.

문제 5

문제 54지선다

초기 프로그래밍언어 발전사에서 FORTRAN이 등장한 배경과 목적을 설명한 것으로 가장 적절한 것은?

과학 기술 계산에서 반복적으로 등장하는 수식 계산을 기계어나 어셈블리어보다 사람이 이해하기 쉬운 형태로 표현하고, 이를 효율적인 기계어로 번역하려는 목적으로 등장했다.FORTRAN은 인공지능 연구를 위한 기호 처리 전용 언어로 처음 설계되었다.FORTRAN은 웹 페이지의 동적 화면 구성을 위해 설계된 언어이다.FORTRAN은 객체지향 개념을 최초로 도입한 언어이다.

문제 6

문제 64지선다

C 언어가 시스템 프로그래밍 언어로서 갖는 설계상 특징으로 가장 적절한 것은?

하드웨어에 가까운 저수준 제어(포인터를 통한 직접적인 메모리 접근 등)를 허용하면서도, 어셈블리어보다는 훨씬 높은 수준의 구조적 제어 구조와 함수를 지원한다.C 언어는 포인터라는 개념 자체를 전혀 지원하지 않는 매우 안전한 언어이다.C 언어는 오직 웹 브라우저 안에서만 실행될 수 있도록 설계된 언어이다.C 언어는 처음부터 완전한 자동 가비지 컬렉션을 기본으로 제공하도록 설계되었다.

문제 7

문제 74지선다

프로그래밍 패러다임 분류에 대한 설명으로 옳지 않은 것은?

명령형 패러다임은 상태(변수)를 두고 그 상태를 바꾸는 문장들의 순서로 계산을 표현한다.객체지향 패러다임은 데이터와 그 데이터를 다루는 연산을 하나의 객체 단위로 묶어 표현한다.함수형 패러다임은 함수의 적용과 값의 계산을 중심으로 표현하며 상태 변경을 최소화하려는 경향이 있다.한 언어는 오직 하나의 패러다임만 평생 지원하도록 법칙으로 고정되어 있어, 여러 패러다임을 함께 지원하는 언어는 존재할 수 없다.

문제 8

문제 84지선다

BNF(Backus-Naur Form) 표기에서 비단말 기호(nonterminal)와 단말 기호(terminal)를 구분한 설명으로 가장 적절한 것은?

비단말 기호는 생성 규칙의 왼쪽에 나타나 더 작은 요소로 계속 전개될 수 있는 문법 범주를 나타내고, 단말 기호는 더 이상 다른 규칙으로 전개되지 않고 실제 프로그램 텍스트에 그대로 나타나는 최종 기호이다.비단말 기호와 단말 기호는 완전히 같은 의미로, BNF에서 서로 구분 없이 아무 데나 바꿔 써도 무방하다.단말 기호는 항상 숫자만을 의미하고, 비단말 기호는 항상 문자만을 의미한다.비단말 기호는 실제 프로그램에 나타나는 텍스트이고 단말 기호는 문법 범주를 나타내는 추상적인 이름이다.

문제 9

문제 94지선다

EBNF(Extended BNF)가 기본 BNF에 비해 갖는 특징으로 가장 적절한 것은?

반복(예: 0회 이상)이나 선택(예: 있어도 되고 없어도 됨) 같은 상황을 별도의 재귀적인 규칙 없이도 간결한 기호로 표기할 수 있게 해, 문법을 더 읽기 쉽게 만든다.EBNF는 BNF로는 절대 표현할 수 없는 새로운 언어(문맥 자유 문법을 넘어서는 언어)까지 표현할 수 있게 해 주는 확장이다.EBNF는 단말 기호라는 개념 자체를 완전히 없애 버린 표기법이다.EBNF와 BNF는 표기 기호만 다를 뿐 아무 차이가 없으므로 굳이 구분할 필요가 없다.

문제 10

문제 104지선다

속성 문법(attribute grammar)에 대한 설명으로 가장 적절한 것은?

문맥 자유 문법에 각 문법 요소가 가질 수 있는 속성(예: 형, 값)과 그 속성을 계산하는 규칙을 추가해, 문맥 자유 문법만으로는 표현하기 어려운 정적 의미(예: 형 일치 여부)까지 기술할 수 있게 한 것이다.속성 문법은 오직 프로그램의 실행 속도만을 측정하기 위한 도구이다.속성 문법은 구문 오류만 검출할 수 있고 의미와 관련된 규칙은 전혀 표현할 수 없다.속성 문법은 BNF·EBNF와 전혀 관련이 없는 완전히 별개의 독립적인 표기 체계이다.

문제 11

문제 114지선다

정적 의미(static semantics)와 동적 의미(dynamic semantics)를 구분한 설명으로 가장 적절한 것은?

정적 의미는 프로그램을 실행하지 않고도(주로 컴파일 시점에) 확인할 수 있는 규칙(예: 변수가 사용되기 전에 선언되어야 한다는 규칙)을 다루고, 동적 의미는 프로그램이 실제로 실행될 때 각 문장이 어떤 계산·효과를 일으키는지를 다룬다.정적 의미와 동적 의미는 완전히 같은 것을 가리키는 동의어이다.정적 의미는 오직 변수의 이름 길이만을 다루는 규칙이다.동적 의미는 프로그램을 전혀 실행하지 않고도 알 수 있는 규칙만을 다룬다.

문제 12

문제 124지선다

형 검사(type checking)를 정적 의미와 동적 의미 중 어느 쪽으로 분류할 수 있는지에 대한 설명으로 가장 적절한 것은?

컴파일 시점에 형을 확정하고 검사하는 정적 타입 언어에서는 형 검사가 정적 의미에 속하지만, 형이 실행 중 값에 따라 결정되는 동적 타입 언어에서는 형 검사가 실행 중에 이루어지므로 동적 의미의 성격을 갖는다.형 검사는 언어와 관계없이 항상 100퍼센트 정적 의미로만 분류된다.형 검사는 언어와 관계없이 항상 100퍼센트 동적 의미로만 분류된다.형 검사라는 개념은 정적 의미·동적 의미 어느 쪽으로도 분류할 수 없는, 이 두 범주와 무관한 별개의 제3의 범주이다.

문제 13

문제 134지선다

추상 자료형(Abstract Data Type, ADT)의 핵심 아이디어로 가장 적절한 것은?

자료를 다루는 연산의 집합(인터페이스)만 외부에 공개하고, 그 연산이 내부적으로 어떻게 구현되어 있는지(자료 표현 방식)는 감추어, 사용자는 구현 세부사항을 몰라도 인터페이스만으로 그 자료형을 사용할 수 있게 한다.ADT는 반드시 특정 언어(예: Java)의 class 키워드로만 구현할 수 있는 개념이다.ADT는 내부 구현을 반드시 모든 사용자에게 공개해야 한다는 원칙이다.ADT는 연산을 전혀 정의하지 않고 오직 데이터 필드만 나열하는 것을 의미한다.

문제 14

문제 144지선다

캡슐화(encapsulation)와 정보 은닉(information hiding)의 관계를 설명한 것으로 가장 적절한 것은?

캡슐화는 관련된 데이터와 연산을 하나의 단위로 묶는 것을 뜻하고, 정보 은닉은 그 단위의 내부 구현 세부사항을 외부에서 직접 접근하지 못하게 감추는 것을 뜻하며, 이 둘은 함께 쓰일 때 ADT의 목적을 온전히 달성한다.캡슐화와 정보 은닉은 완전히 반대되는 상충되는 개념으로, 한 언어에서 동시에 지원할 수 없다.정보 은닉은 접근 제한자(예: private)가 문법적으로 존재하는 언어에서만 유일하게 가능한 개념이다.캡슐화는 오직 전역 변수를 늘리는 것을 의미한다.

문제 15

문제 154지선다

단일 상속(single inheritance)과 다중 상속(multiple inheritance)을 비교한 설명으로 가장 적절한 것은?

단일 상속은 한 클래스가 오직 하나의 부모 클래스만 가질 수 있어 상속 구조가 단순한 반면, 다중 상속은 한 클래스가 여러 부모 클래스를 가질 수 있어 표현력은 높지만 서로 다른 부모에게서 같은 이름의 멤버를 물려받을 때 생기는 모호성 같은 문제를 해결할 규칙이 필요하다.단일 상속과 다중 상속은 결과적으로 완전히 동일한 클래스 구조를 만들어 낸다.다중 상속은 어떤 언어에서도 절대로 구현할 수 없는 이론적으로만 존재하는 개념이다.단일 상속을 지원하는 언어는 인터페이스 등 다른 방식으로도 여러 개념을 조합하는 기능을 절대로 제공할 수 없다.

문제 16

문제 164지선다

오버로딩(overloading)·오버라이딩(overriding)·다형성(polymorphism)을 구분한 설명으로 옳지 않은 것은?

오버로딩은 같은 이름의 하위프로그램을 매개변수의 개수나 형이 다르게 여러 개 정의하는 것이다.오버라이딩은 자식 클래스가 부모 클래스에서 물려받은 메서드를 자신만의 방식으로 다시 정의하는 것이다.다형성은 오버로딩과 오버라이딩을 포함해, 같은 이름의 연산이 상황(형이나 실제 객체의 종류)에 따라 서로 다르게 동작할 수 있는 성질을 폭넓게 가리키는 더 상위의 개념이다.오버로딩·오버라이딩·다형성은 사실 완전히 같은 하나의 현상을 부르는 세 가지 동의어일 뿐이다.

문제 17

문제 174지선다

객체지향 언어에서 메서드 호출에 동적 바인딩(dynamic binding)이 적용될 때의 특징으로 가장 적절한 것은?

변수의 선언된 형(정적 형)이 아니라 그 변수가 실행 중 실제로 가리키는 객체의 형에 따라 어떤 메서드가 실행될지가 결정된다.동적 바인딩이 적용되면 어떤 경우에도 부모 클래스에 정의된 메서드만 항상 호출된다.동적 바인딩은 컴파일 시점에 모든 메서드 호출 대상을 완전히 확정해 실행 중에는 전혀 확인하지 않는 방식이다.동적 바인딩은 오직 정적 바인딩만 지원하는 언어에서 나타나는 현상이다.

문제 18

문제 184지선다

세마포어(semaphore)를 이용한 상호 배제(mutual exclusion)의 기본 동작을 설명한 것으로 가장 적절한 것은?

임계 구역에 들어가기 전에 P(또는 wait) 연산으로 세마포어 값을 감소시켜 자원을 획득하고, 임계 구역을 나올 때 V(또는 signal) 연산으로 세마포어 값을 증가시켜 자원을 반납함으로써, 세마포어 값이 이미 0 이하이면 다른 프로세스가 대기하게 만든다.세마포어는 P 연산과 V 연산의 순서를 서로 바꿔도 항상 동일하게 동작하는 개념이다.세마포어는 오직 하나의 프로세스만 존재하는 프로그램에서만 의미가 있는 개념이다.세마포어 값은 임계 구역 진입과 무관하게 항상 고정된 값을 유지해야 한다.

문제 19

문제 194지선다

모니터(monitor)와 세마포어를 비교한 설명으로 가장 적절한 것은?

모니터는 공유 자원과 그 자원에 접근하는 절차, 상호 배제를 언어(또는 라이브러리) 차원에서 하나의 구조로 캡슐화해 프로그래머가 직접 P·V 연산의 짝을 관리하는 실수를 줄여 주는 더 높은 수준의 동기화 도구이다.모니터와 세마포어는 완전히 같은 하나의 개념을 부르는 두 이름일 뿐이다.모니터는 상호 배제와 아무런 관련이 없는 개념이다.세마포어는 반드시 모니터 내부에서만 정의될 수 있는 하위 개념이다.

문제 20

문제 204지선다

메시지 전달(message passing) 방식의 병행성 지원을 세마포어·모니터 방식(공유 메모리 기반 동기화)과 비교한 설명으로 가장 적절한 것은?

메시지 전달은 프로세스(또는 스레드)들이 공유 변수를 직접 함께 조작하는 대신, 정해진 통신 채널을 통해 메시지를 주고받는 방식으로 정보를 교환하고 동기화한다.메시지 전달은 반드시 하나의 프로세스 내부에서만 일어날 수 있는 현상이다.메시지 전달 방식에서는 프로세스 사이에 어떠한 형태의 통신도 절대 일어나지 않는다.메시지 전달과 세마포어는 서로 완전히 동일한 메커니즘으로, 구현 방식에도 차이가 없다.

문제 21

문제 214지선다

예외(exception)와 에러(error)를 구분한 설명으로 가장 적절한 것은?

예외는 프로그램 실행 중 정상적인 흐름을 벗어난 특수한 상황이 발생했음을 알리고 이를 처리할 기회를 프로그램에 주는 개념인 반면, 넓은 의미의 에러는 프로그램의 논리적 결함이나 시스템 자원 고갈처럼 예외 처리로 복구하기 어려운 심각한 문제까지 포괄해 가리키는 경우가 많다.예외와 에러는 모든 언어에서 완전히 동일한 의미로 구분 없이 사용되는 하나의 용어이다.컴파일 시점에 발견되는 문법 오류도 실행 중 예외 처리 구문(try-catch 등)으로 잡아낼 수 있다.예외는 항상 프로그램을 즉시 강제 종료시키는 것 외에는 다른 어떤 처리 방법도 있을 수 없다.

문제 22

문제 224지선다

예외의 전파(propagation)에 대한 설명으로 가장 적절한 것은?

어떤 하위프로그램에서 예외가 발생했을 때 그 하위프로그램 안에 이를 처리하는 핸들러가 없으면, 그 예외는 자신을 호출한 쪽(호출자)으로 전달되어 호출자에 처리할 핸들러가 있는지 다시 검사되며, 이 과정이 처리할 핸들러를 찾을 때까지 호출 체인을 따라 반복될 수 있다.예외는 반드시 그 예외가 처음 발생한 하위프로그램 안에서만 처리될 수 있고 절대로 다른 곳으로 전달될 수 없다.예외 전파는 프로그램의 실행 순서와 아무런 관계 없이 무작위로 처리 위치가 정해지는 현상이다.예외가 전파되면 그 즉시 프로그램 전체의 모든 변수 값이 초기화된다.

문제 23

문제 234지선다

함수형 언어에서 말하는 순수 함수(pure function)의 조건으로 가장 적절한 것은?

같은 입력에 대해 항상 같은 출력을 반환하고, 전역 변수나 외부 상태를 바꾸는 부작용(side effect)이 전혀 없어야 한다.순수 함수는 반환값이 있어야 한다는 조건만 만족하면, 내부에서 전역 변수를 자유롭게 변경해도 순수하다고 인정된다.순수 함수는 항상 인자를 하나도 받지 않는 함수만을 의미한다.순수 함수는 반드시 재귀 호출을 포함해야만 정의될 수 있는 함수이다.

문제 24

문제 244지선다

논리형 언어에서 Horn 절(Horn clause)로 표현되는 사실(fact)과 규칙(rule)의 차이를 설명한 것으로 가장 적절한 것은?

사실은 조건 없이 항상 참으로 선언되는 단순한 서술이고, 규칙은 특정 조건들이 모두 참일 때 그 결론이 참이 됨을 나타내는 조건부 서술로, 규칙은 다른 사실이나 규칙을 근거로 새로운 결론을 이끌어 내는 데 쓰인다.사실과 규칙은 완전히 같은 것을 부르는 두 가지 이름일 뿐이며 논리형 언어에서 아무런 차이가 없다.사실은 반드시 여러 조건을 포함해야 하고 규칙은 조건을 하나도 포함할 수 없다.Horn 절은 사실이나 규칙 중 어느 하나만 표현할 수 있고 둘을 함께 표현할 수는 없다.

참고 자료

국가평생교육진흥원 독학학위제 — https://bdes.nile.or.kr
cppreference.com, Classes and inheritance — https://en.cppreference.com/w/cpp/language/derived_class