한국방송통신대학교 [프로그래밍언어론] 기말(주관식형)입니다.

소개

"한국방송통신대학교 [프로그래밍언어론] 기말(주관식형)입니다."에 대한 내용입니다.

목차

1. 모호한 문법의 의미를 설명하고, 교재/강의에서 다루지 않은 예를 제시하시오.
2. 다음 변수의 정의를 배런의 표기법으로 나타내시오.
3. 비지역변수와 자유변수를 공통점과 차이점 중심으로 설명하시오.
4. 추상화의 의미를 설명하고, 제어 추상화와 자료 추상화의 개념을 교재/강의에서 다루지 않은 예를 사용하여 설명하시오.

본문내용

“모호한 문법”의 의미를 설명하기 위해선, 먼저 파스트리에 대해 알아야 할 필요가 있다.
“파스트리(parse tree)”란, 어떠한 수식에 대하여 구문 규칙을 적용하여 주어진 프로그램을 만들어 내는 과정을 트리의 형태로 나타낸 것을 말한다. 수식에 있어서 문법적으로 오류가 있다면 구문 규칙을 어떻게 적용하더라도 파스트리를 완성할 수 없기 때문에, 역으로 주어진 프로그램에 대해 파스트리가 존재한다는 것은 구문에 부합하는, 즉, 문법적인 오류가 없는 유효한 프로그램임을 의미하게 된다.
이제 다시 “모호한 문법”에 대한 설명으로 돌아가서 그 의미부터 말하자면, 모호한 문법이란 하나의 프로그램에 대해 두 개 이상의 파스트리가 존재하는 문법을 말한다.
먼저, 파스트리가 여러 개 존재한다고 해서 주어진 프로그램이 유효하지 않다는 것은 결코 아니라는 것을 알아야 한다. 프로그램에 대한 파스트리가 존재한다는 것은, 앞서 말한 대로 엄연히 문법적인 오류가 없는 프로그램이라는 것을 의미한다. 다만, 이 프로그램이 여러 파스트리에 의해 제각기 다른 의미로 해석될 수 있다는 점은 집중해야 한다. 대표적인 모호한 문법으로는 연산자들간의 우선순위를 고려하지 않은 연산, 올바른 방향으로 결합 순서로 계산되지 않은 연산, if문이 중첩된 문장에서 else 이하의 문장 수행에 대한 규칙 등 크게 세 가지를 들 수 있으며, 그 중, 주어진 조건이 거짓일 때 수행되는 else 이하의 문장이 조건이 2개인 중첩 if문에서 어떠한 모호성을 보이게 되는지 예를 들어보겠다.

참고자료

· 없음