이해되기 쉽게 만들어야 한다. → ALGOL 60,68 은 새로운 설명넣어서 실패
고려되어야할 점
The study of programming languages, like the study of natural languages, can be divided into examinations of syntax and semantics.
구문론과 해석론으로 나뉠 수 있다.
syntax (구문론) : expressions, statements, units 들로 판단
semantics (해석론) : 문장의 뜻
구문론이 해석론 보다 설명하기 쉽다. 해석론은 구문론을 따른다.
복잡한 언어들도 구문적으로는 간단하다.
문장은 단어들로 구성되어 있다. 단어들을 나열해서 만든게 문장 → Sentance : Statement
단어(어휘) : lexeme , 연산자들도 하나의 lexeme 이다. → 언어마다 다름
모든 lexeme(어휘) 에는 token(품사) 가 있다.
프로그램은 lexeme의 나열
언어는 두가지 부분으로 정의될 수 있다. by recognition 과 by generation
언어에 단어가 있는지만 확인하면 된다. : 구문분석기(parsers)가 하는일