[프로그래밍 언어론] 4-1 구문론과 의미론

언어의 형식적 정의

구문론과 의미론을 통해 언어를 엄밀하게 정의

 

구문론(syntax)

→ 문장이 구성되는 방식에 대해 연구

 

의미론(semantics)

→ 문장이 나타내는 의미에 대해 연구

 

ex) 나는 너를 사랑한다.

→ 구문: 주어 + 목적어 + 서술어

→ 의미: 화자가 청자를 몹시 아끼고 귀중히 여김

 

ex) I love you

→ 구문: 주어 + 동사 + 목적어

→ 의미: 화자가 청자를 몹시 아끼고 귀중히 여김

---

프로그래밍 언어의 형식적 정의

프로그래밍 언어의 명확한 구문과 의미를 정의

이를 통해 명확한 사용체계를 제공

 

ex) PRINT "GCD is"; A

→ 구문: PRINT "출력할 내용"; 변수

→ 의미: 출력할 내용과 변수의 값을 순차적으로 출력

 

ex) printf("GDC is %d", a);

→ 구문: printf("출력할 내용", 변수);

→ 의미: 출력할 내용의 %d 자리에 변수의 값을 대신 넣어 내용을 출력

 

형식적 정의의 필요성

→ 컴퓨터: 프로그램 해석의 모호함 제거

→ 작성자: 프로그램의 동작 예측 가능

 

프로그램의 구조

int x12; x12 = 1 + 5 * 2; if x12>10 then ...

→ 문자: 영어 알파벳, 아라이바 숫자, 특수 기호 등

     ex) int, 1, 5, +, ...

→ 어휘(토큰): 문자의 모임, 최소한의 의미를 갖는 단어

     ex) int, x12, =, +, 1, 5, ...

→ 구문: 프로그램을 작성하는 규칙(문법)

             토큰을 모아 프로그램을 구성

 

프로그램의 의미

→ 의미: 프로그램을 통해 발생하는 현상

→ 정수를 저장할 변수 x12를 생성

     수식을 계산하여 11을 변수 x12에 대입

     변수 x12의 값이 10보다 크므로 ... 부분을 실행

 

구문론	의미론
→ 프로그램의 표면적인 구조를 정의 → 프로그램 작성 시 어떤 형태로 작성해야 하는지 기술	→ 프로그램의 내용적인 효과를 정의 → 프로그램 실행 시 어떤 일이 일어나는지 그 의미를 기술

 

 

 

한국방송통신대학 [프로그래밍 언어론] 강의 필기입니다.