(방송통신대 프로그래밍언어론 기말시험)모호한 문법의 의미를 설명하고 교재/강의에서 다루지 않은 예를 제시 배런의 표기법 비지역변수와 자유변수를 공통점과 차이점 추상화의 의미 제어 추상화와 자료 추상화의 개념

소개글

과제물의 문제에 적합한 형식과 내용으로 정성을 다해 작성했습니다.
여러 참고자료를 바탕으로 주요내용을 최대한 이해하기 쉽도록 정리했습니다.
리포트를 효율적으로 작성하시는 데 작은 도움이라도 되시기를 진심으로 바랍니다.^^

문단 모양(왼쪽 여백 0, 오른쪽 여백 0, 줄간격 160%)
글자 모양(바탕체, 장평 100%, 크기 11 pt, 자간 0%)

목차

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

본문내용

1. 모호한 문법의 의미를 설명하고, 교재/강의에서 다루지 않은 예를 제시하시오. (20점)

프로그램에 오류가 없다면, 컴파일 과정에서 어휘 분석 후 진행되는 구문 분석기의 구문 분석에서 파스 트리가 정상적으로 만들어진다. 그러나 문자열 x∈L(G)을 만족하는 문법 G에 대해 생성규칙을 따라 2개 이상의 파스 트리가 유도되면 문법 G는‘모호하다(ambiguous)’고 말한다. 즉, 모호한 문법은 동일한 문자열에 대해서 최좌단 유도(leftmost derivation) 또는 최우단 유도(rightmost derivation)를 통해 2개 이상의 파스 트리가 생성되는 문법이다. 여기서 유도란, 구문 분석에서 문법의 생성규칙에 따라 특정한 문자열을 도출해나가는 과정을 의미한다. 또한 최좌단 유도는 가장 왼쪽에 있는 비단말 기호부터 차례로 유도해 나가는 것이고, 최우단 유도는 가장 오른쪽의 비단말 기호부터 순차적으로 하나씩 변환해 나가는 것이다.

파스 트리(parse tree)란, BNF 등으로 표기된 구문을 트리로 표현해서 유도하는 일련의 과정을 의미한다. 파스 트리에서 최종 결과가 모두 단말기호라면 문법은 성립하고 비단말기호가 1개라도 존재하면 문법에 부적합하다. 즉, 주어진 문법에 대해 어떤 문자열(프로그램)의 파스 트리가 존재하면 그 문자열은 문법적으로 적합하다. 따라서 2개 이상의 파스 트리가 존재할 경우도 해당 문자열은 문법적으로는 유효한 표현이 된다.

그러나 의미론적 관점에서 볼 때는 주어진 문자열이 서로 다른 의미로 해석될 수 있고, 결과적으로 하나의 프로그램에서 서로 다른 결과가 도출되거나 프로그래머의 기대와는 다르게 전혀 다른 결과값이 나올 수 있다. 따라서 모호성이 허용되는 자연어와는 달리 프로그래밍언어에서는 서로 다른 의미로 해석될 가능성이 없도록 모호성을 제거함으로써 그 의미를 명확하게 할 필요가 있다.

참고 자료

우균, 김진욱(2019). 프로그래밍언어론. 한국방송통신대학교출판문화원.
https://dodo000.tistory.com/4
https://dad-rock.tistory.com/198
http://www.aistudy.co.kr/linguistics/free_linz.htm#_bookmark_25926f8