반응형 공리적의미론1 구문론과 의미론 , 프로그래밍 언어 구문론과 의미론과 프로그램 언어를 연구하는 다양한 분야 중 대표적인 것으로 구문론과 의미론이 있다. 구문론은 문장이 구성되는 방식에 대해서, 의미론은 문장 나타내는 의미에 대해서 연구하는 분야이다. 나는 너를 사랑한다. , I LOVE YOU 주어 + 목적어 +서술어, 주어 + 동사 + 서술어 등을 위의 예로 형식을 나눌 수 있으며 의미는 같은 의미로 나는 너를 몹시 아끼고 귀중히 여긴다라는 의미를 갖는다. 각 언어는 그 언어만의 문자 \구성 방식이 있고 그에 따라 의미를 해석한다. 구문론과 의미론을 통해 언어를 정의할 수 있는데 이를 언어의 형식적 정의라 부른다. 프로그래밍 언어에서는 형식적 정의가 더욱 중요해진다. 왜냐면 컴퓨터가 프로그램을 정확히 이해할 수 있도록 해야 하기 때문이다. int x; .. 2023. 9. 4. 이전 1 다음 반응형
