본 과목은 프로그래밍 언어의 기본 이론을 소개한다. 먼저 귀납법(induction), 문맥 자유 문법(context-free grammar), 파싱(parsing) 등의 형식적(formal) 이론을 소개한 후 다양한 언어의 실제적인 의미(semantics)에 대하여 공부한다. 본 과목에서 다루는 자세한 내용은 귀납법, 문맥 자유 문법, 파싱, 식(expression) 중심 언어, 상태(state) 중심 언어, 형(type) 중심 언어, 객체(object) 중심 언어 등의 의미를 포함하고 있다. 본 과목에서 학생들은 여러 언어의 인터프리터를 구현해 봄으로서 배운 이론을 연습한다.
교과목해설(영문)
This course introduces the basic theory of programming languages. It covers the formal concepts of induction, context-free grammar, parsing, and the semantics of various practical programming languages. This course studies the following technical items: induction, context-free grammar, parsing, semantics of expression languages, state languages, type languages and object languages. In this course, students practice the theory of programming languages by implementing the interpreters of various programming languages.
