구문론과 의미론 언어의 형식적 정의 한국어: 주어 + 목적어 + 서술어 영어: 주어 + 동사 + 목적어 프로그래밍 언어의 형식적 정의 BASIC: PRINT “출력할 내용”; 변수 C: printf(”출력할 내용”, 변수); 형식적 정의의 필요성 프로그래밍 언어의 명확한 사용체계를 알려 줌 언어 해석의 모호함을 없애 줌 작성된 프로그램의 동작 예측이 가능 프로그래밍 언어의 구조 문자: 영어 알파벳과 아라비아 숫자를 근간으로 작성 어휘(토큰): 프로그래밍 언어 문자로 구성된 단어 구문: 프로그래밍 언어로 프로그램을 작성하는 규칙 프로그래밍 언어의 의미: 작성된 프로그램을 통해 발생하는 현상 프로그래밍 언어의 형식적 정의 구문론: 프로그램의 표면적인 구조를 정의 의미론: 프로그램의 내용적인 효과를 정의 구문..