1. 언어의 구성 요소
ㅇ 언어이란?,
- 요소들이 다양하게 결합하는 문장 생성 규칙이 지배하는 의사소통 체계
ㅇ 언어를 구성하는 최소의 요소로는 어떤 것들이 있을까?
- 문법 (규칙성) : 구문의 표현 규칙 (언어의 생성 메커니즘)
- 어휘 (형태론) : 구문에 기반을 두고있는 구성 요소들 (토큰의 구조)
- 구문/구조/형식 (통사론) : 언어가 구성되는 순서/방법/구조 (언어의 구조)
* 내용/의미 (의미론) : 표현식,문장,프로그램 등이 주는 의미 (지닌 뜻,하려는 것)
2. 의미 (Semantic,시맨틱) / 의미론 (Semantics)
ㅇ [언어]
- 언어가 실제로 하는 일 즉, 의미(Meaning)를 주는 것
. 형태소,단어,문장,담화 등의 단위가 주는 의미(Meaning)
ㅇ [전산]
- 프로그램 실행시, 어떤 동작이 일어나고 그 결과가 무엇인지를 예측하는 일 등을 말함
. 표현식,문장,프로그램 등의 단위가 주는 의미(Meaning)
- 의미 분석(Semantic Analysis)의 例)
. 표현식에 포함된 연산자들의 평가 순서(우선순위)를 결정하는 규칙
. 타입 검사 등
3. 의미의 표기법/서술법
ㅇ 비록, 구문과 의미가 서로 밀접하게 관련되어 있지만,
- 의미 서술은, 구문론 표기법 처럼 간명한 형식적 표기법(BNF 등)이 개발되지 못함
ㅇ 특히, 프로그래밍 언어에 대해, 현재까지도 완벽한 의미론 명세가 존재하지 않으므로,
- 테스트 과정 없이는 올바르다고 증명을 못하며,
- 설사, 의미론적으로 기술/서술을 했다 하여, 이로부터 자동으로 생성될 수도 없음
4. [참고용어]
ㅇ 시맨틱 웹 : 웹 상에서 사람이 아닌 컴퓨터,검색엔진 등이 이해,처리할 수 있게 하는 것
ㅇ 시맨틱 요소 : 웹페이지 내 논리적인 구획/분할할 때 유용한 html 요소 종류들