프로그래밍 언어 정의와 구현 프로그래밍 언어 정의 어떤 프로그램이 올바른 형태인지, 또 올바른 형태의 프로그램을 실행하였을 때 어떻게 실행되는 것이 올바른 것인지 규정하는 것 구문(syntax): 형태에 대한 규정 의미(semantics): 실행 결과에 대한 규정 프로그래밍 언어 정의 방법 구문 정의: 문맥 자유 문법, BNF, EBNF, 구문 도표 의미 정의: 기능적 의미론, 표기적 의미론, 공리적 의미론 등 실제로 의미를 정의할 때, 여러 의미론은 매우 난해하므로 대신 자연어를 사용함 프로그래밍 언어 구현 프로그래밍 언어 L로 작성된 어떤 프로그램 P_L이 주어졌을 때, P_L이 L의 구문 규칙을 따르는 올바른 프로그램인지 검사하고, 올바른 경우에 P_L을 L의 의미 규칙에 따라 실행하는 프로그램을 ..