제 3 장 구문과 의미론
● 구문과 의미론의 용어를 정의, BNF 서술
● 구문 그래프와 재귀 하강 파싱에 대해서 소개
● 프로그래밍 언어의 구문과 정적 의미론을 기술하는 데 사용될 수 있는 속성 문법
● 의미론을 기술하는 방법
- 연산의미론, 공리 의미론, 표기 의미론
3.1 서론
언어 기술 언어 기술을 이해해야 하는 사람의 다양성 문제
- 검증기간이 필요, 언어 기술의 명료성에 의해서 좌우
언어 구현
- 언어의 표현식, 문장, 프로그램 단위 등이 형성되는 방법
- 이들이 시행될 때 의도된 효과를 확실히 결정할 수 있어야 함
- 작업난이도는 언어 기술의 정확성과 명확성에 의해 부분적으로 결정
언어 사용
- 언어의 참고 메뉴얼을 사용하여 소프트웨어 시스템을 작성하는 방법을 결정
구문(syntax) 언어의 표현식, 문장, 프로그램 단위의 형식
의미론(semantics) 표현식, 문장, 프로그램 단위에 대한 의미
예) if ( 표현식 ) 문장 = 표현식의 현재값이 참이면 문장을 실행
- 잘 설계된 프로그래밍 언어에서, 의미론은 구문으로부터 직접 파악됨
3.2 구문 기술의 일반적인 문제
언어의 구문 규칙 언어의 알파벳 문자들로 구성된 스트링이 그 언어에 속한다는 것을 명세함
- 프로그래밍 언어의 규모는 영어와 비교할 때 구문은 간단
- 가장 낮은 구문에 대한 기술은 포함되지 않음
어휘 항목
- 어휘 명세에 의해서 주어짐, 언어의 구문 기술과 분리됨
- 식별자, 리터럴, 연산자, 특수어 등을 포함
토큰
- 어휘 항목의 한 부류를 나타냄
예) 식별자 sum, total과 같은 어휘항목을 가질 수 있는 ...
· 해피레포트는 다운로드 받은 파일에 문제가 있을 경우(손상된 파일/설명과 다른자료/중복자료 등) 1주일이내 환불요청 시 환불(재충전) 해드립니다.
(단, 단순 변심 및 실수로 인한 환불은 되지 않습니다.)
· 파일이 열리지 않거나 브라우저 오류로 인해 다운이 되지 않으면 고객센터로 문의바랍니다.
· 다운로드 받은 파일은 참고자료로 이용하셔야 하며,자료의 활용에 대한 모든 책임은 다운로드 받은 회원님에게 있습니다.
저작권안내
보고서 내용중의 의견 및 입장은 당사와 무관하며, 그 내용의 진위여부도 당사는 보증하지 않습니다.
보고서의 저작권 및 모든 법적 책임은 등록인에게 있으며, 무단전재 및 재배포를 금합니다.
저작권 문제 발생시 원저작권자의 입장에서 해결해드리고 있습니다. 저작권침해신고 바로가기