[프로그래밍언어론] 프로그래밍언어론 3장 연습문제 정답

소개글

프로그래밍언어를 수강하시는 분들은 매 chapter가 끝날때마다
압박을 주는 많은 연습&복습문제 때문에 다덜 고생이 많으실겁니다 ^^
또한 시험기간에 일일이 정리하는데도 시간이 엄청 많이 걸리죠?
그러한 불편한점을 저도 겪었기에 이렇게 정리해서 자료로 올립니다
가격도 다른데보다 일부러 더 저렴하게 올립니다
모두들 많은 참고 바라구요 좋은학점 받으시길 발래요 ^^

목차

1. 구문과 의미론을 정의하시오.
2. 언어 서술은 누구를 위한 것인가?
3. 일반적인 언어 생성기의 연산을 서술하시오.
4. 일반적인 언어 인식기의 연산을 서술하시오.
중략..
14. 주어진 문장에 대한 전조건과 후조건이 공리의미론에서 무엇을 의미하는지를 설명하시오.
15. 주어진 프로그램의 정당성을 증명하기 위해서 공리 의미론을 사용하는 방법에 대해서 서술하시오
16. 표기 의미론의 기본 개념을 서술하시오.
17. 연산 의미론과 표기 의미론은 어떤 점에서 다른가?

본문내용

8. 정적 의미론과 동적 의미론을 기술하시오.
• 정적 의미론 : 타입의 제한 사항을 서술한다. 이러한 명세를 검사하는데 필요한 분석이 컴파일 시간에 이루어질 수 있으므로 정적 의미론이라는 이름이 부여되었다. BNF로 정적 의미론을 기술함에 있어 문제가 따랐기 때문에, 프로그램의 정적 의미론의 올바름을 서술하고 검사하는 형식적인 접근 방법으로 속성 문법이 설계되었다.
• 동적 의미론 : 표현식, 문장, 프로그램 단위의 의미를 기술. 범용적으로 채택되는 표기법이 개발되지 않았다.
12. 속성 문법의 주요 사용은 무엇인가?
속성 문법 (attribute grammar)은 프로그래밍 언어의 구조에 대하여 문맥 자유 문법의 확장으로서, 타입 호환성 (type compatibility)과 같은 언어의 규칙을 서술할 수 있다.

참고 자료

없음