(形式意味論)【정보통신용어사전】프로그램 작성 언어(형식적 서식 기술 언어 포함)의 의미를 형식적 체계로부터 파악하려는 연구를 총칭하는 용어. 주된 목적은 언어의 설계자, 언어 프로세서 작성자, 언어 이용자 3자 간에 공통적으로 지침이 되는 명백한 정의를 부여하고, 프로그램 작성 언어나 프로그램의 수학적인 이론화에 의한 프로그램의 형식적 증명에 대해 기초를 부여하는 데 있다. 이렇게 하기 위한 수단도 각양각색이어서 통일된 견해가 성립되기 어려운데, 그 대표적인 것을 들면 아래와 같다.{br}㉠구문 지향 의미론:컴파일러를 강하게 의식한 의미론으로, 구문을 해석하거나 변환할 때마다 의미적 속성이나 의미가 있는 루틴을 할당하는 방법. 예를 들면, 생성 시스템, 속성 문법, W 문법 등이 있는데, 특히 W 문법은 반 비즌가르덴(van Wijngaarden)이 ALGOL 68의 언어 서식을 기술하는 데 사용하였다.{br}㉡공리적 의미론:공리적인 논리 체계(공리와 추론 규칙)로부터 의미 기술을 부여받는 것. 프로그램을 증명하는 데 주된 관심이 있다. 프로이드 호아의 방법이 그 한 예이다.{br}㉢조작적 의미론:추상 기계(抽象機械), 특히 상태 전이 기계를 상정하여 그 동작 계열을 부여함으로써 의미 기술을 부여하는 것. 튜링 기계, 란딘(Landin)의 SE-CD 기계, PL/1의 비엔나(Vienna) 정의법 등이 있다.{br}㉣표시적 의미론:언어의 구성 요소로부터 어느 수학적 실체(정수, 집합, 함수 등)에 대한 사상(寫像)으로서 의미를 정의하는 입장. 수학적 구조가 풍부하다.{br}㉤대수적 의미론:의미를 정의해야 할 언어를 어느 특별한 대수(代數)라 생각하고, 거기서 어느 대수에 대한 유일한 준동형 사상(準同形寫像)이 존재할 때 그 사상을 의미라고 정의하는 입장. 특히 추상 데이터형의 형식적 서식 기술의 분야에서 발전해 온 것이다.

CreativeMinds Super Tooltip Glossary