티스토리 뷰

Computer Science

PL Ch 3. 정리

words 2011. 5. 16. 10:05
Chapter 3

Syntax - expression, statement, 프로그램 유닛의 form 또는 structure
Semantics - 위의 것의 meaning

Context Free Grammars
 - natural language의 syntax를 나타내는 데 사용되는 Language Generator
Backus Normal Form(BNF)
 - CFG를 나타내는데 사용.
 - CFG와 equvialent

Derivation : start symbol에서 시작하여 sentence(terminal symbol)로 끝나는 반복적인 rule의 적용
 - leftmost derivation : 각 sentential form에서 가장 왼쪽의 nonterminal을 expand 하는 것

Parse tree : derivation의 hierarchical 표현
 - grammar is ambiguous : 하나의 sentential form에 대해 parse tree가 여러개.

Recursive Descent Parsing
 - 파싱 : 주어진 인풋 스트링에 대하여 파스 트리를 만드는 과정
 - grammar에서의 nonterminal에 대하여 subprogram을 가지고 그것을 호출하는 형태로 진행하는 것 - 리커시브 디센트 파싱
 - left-recursion 처리 못함 

'Computer Science' 카테고리의 다른 글

PL Ch 5. Data Type  (0) 2011.05.16
PL Ch 4. Variable  (0) 2011.05.16
[Algorithms] KMP 알고리즘  (0) 2011.04.30
운영체제 동기화 부분(2)  (0) 2011.04.01
운영체제 동기화 부분(1)  (2) 2011.03.31
공유하기 링크
댓글