2020 방통대 기말 프로그래밍언어론 (참고용)

소개글

"2020 방통대 기말 프로그래밍언어론 (참고용)"에 대한 내용입니다.

목차

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

본문내용

유도는 구문 규칙을 이용하여 주어진 프로그램을 만들어 내는 과정으로, 유도가 가능하다면 주어진 프로그램은 문법적 오류가 없다고 말한다. 파스 트리는 유도를 트리 형태로 나타낸 것으로, 루트 노드는 시작 비단말 기호가 되고 단말 노드는 단말 기호가 된다. 단말 노드를 왼쪽부터 오른쪽으로 차례로 나열하면 주어진 프로그램이 된다. 주어진 표현에 대한 파스 트리가 존재하면 구문에 부합하는 표현이지만, 파스 트리가 존재하지 않으면 오류가 있는 표현이다. 모호한 문법은 동일한 표현에 대해 서로 다른 파스 트리가 만들어지는 문법으로, 하나의 프로그램이 서로 다른 결과를 도출할 수 있는 위험을 내포하고 있다. 모호한 문법은 문법을 명확하게 변경하여 모호성을 제거해야 한다.
구문 규칙이 S -> S+S | S*S | a | b 일 때, a+ a*b를 나타내기 위한 두가지 방법이 있다.

참고 자료

없음