Syntax   구문, 통사론, 신택스

(2019-06-03)

Grammer, 문법, Semantic, 의미 (Semantic), 시맨틱, Semantics, 의미론

1. 언어의 구성 요소언어이란?, 
     - 의미 있는 요소들이 여러 방법으로 결합하여 문장을 생성하는 규칙이 지배하는 의사소통 체계

  ㅇ 언어를 구성하는 최소의 요소로는 어떤 것들이 있을까?
     - 어휘 (형태론)           : 구문에 기반을 두고있는 구성 요소들 (토큰의 구조)
     - 구문/구조/형식 (통사론) : 언어가 구성되는 순서/방법/구조 (언어의 구조)
     - 문법 (규칙성)           : 구문의 표현 규칙 (언어의 생성 메커니즘)
     - 의미 (내용)             : 표현식,문장,프로그램 단위 등이 주는 의미(Meaning)


2. 문법 (Grammer)

  ㅇ 구문(Syntax)을 기술하기 위한 `형식 언어`의 `생성 메커니즘`
     - 언어를 만들기위해 정의하는 생성 장치

  ※ 형식 언어자연 언어의 문법 비교
     - 형식 언어 (Formal Language)
        . 언어의 문법 구조를 수학적 측면에서 형식화한 인공 언어
     - 자연 언어 (Natural Language) : 영어,한국어,독일어 등 (때론, 수화도 포함됨)
        . 그 문법이 지역과 시간 등에 따라 변화하고 있고,
        . 생성적이며, 구성적이며, 유연성이 풍부한 편 임


3. 어휘 (Lexeme) / 형태론어휘 항목 (Lexeme)
     - 논리적으로 구분 가능한 가장 낮은 단위로써 요소(토큰)들의 그룹

  ㅇ 어휘 구조 (Lexical Structure)
     - 구문에 기반을 두고있는 구성요소들의 형태 구조 (즉,토큰의 형태 구조)

  ㅇ 어휘 분석 (Lexical Analysis)
     - 원시 프로그램을 읽어들여, 토큰이라는 의미있는 문법 단위로 분리하는 것


4. 구문 (Syntax) / 통사론

  ㅇ 구문 또는 구문 구조 (Syntax)
     - 언어가 구성되는 방법/구조 (언어의 구조)

     - 형식 언어에서는,
        . 표현식,문장,프로그램 들이 구성/조합되는 방식

     - 자연 언어에서는, 
        . 단어들이 연결되어 구문이 만들어지는 구조적인 것
        . 평서문,의문문,수동문 등에 대한 문장 구조

  ㅇ 구문의 규칙 (Syntax Rule)
     - 문장들의 구문을 명세(형식화)하기 위한 규칙들의 집합
        . 例) 요소들의 순서, 구두점 등

  ㅇ 구문의 표기법(Syntax Notation)/서술법
     - 구문을 형식화시켜 간명하게 서술할 수 있는 방법
        . 例) BNF, EBNF 또는 순서도

     * 1950년대 Noam Chomsky(촘스키)가 문맥 무관 문법(Context-free Grammer)을 제안함
        . 1957년 `통사의 구조(Syntatic Structures)`를 발표하여, 언어학 연구에 혁명을 일으킴

        . 문맥적인 의미를 따로 떼어 놓고 형식화된 문법에 대한 표기법이 가능하다고 봄
           .. 즉, 문법과 의미를 서로 분리시킬 수 있다는 아이디어를 냄

        . 대개 프로그래밍 언어문맥 무관 언어(Context-free Language)의 구조로 제한시켜,
           .. 기계의 효율적인 번역이 가능하도록 충분히 단순한 구조를 유지시켜 만들어짐

  ㅇ 구문 분석/파싱(Parsing), 구문분석기/파서(Parser)
     - 구문 문법을 적용하여 분석 수행하는 것
        . 구문 구조가 문법 규칙에 맞는지 여부 등을 따짐

  ※ [참고] ☞ 전산 구문 용어 참조


5. 의미 (Semantic) / 의미론 (Semantics)

  ㅇ 의미 이란?
     - 언어가 실제로 하는 일 즉, 의미(Meaning)를 주는 것
        . 표현식,문장,프로그램 단위가 주는 의미(Meaning)

  ㅇ 의미의 표기법/서술
     - 구문과 의미가 서로 밀접하게 관련되어 있지만,
     - 의미 서술은 구문 표기법 처럼 간명한 형식적 표기법이 개발되지 못함


[구문] 1. 구문 2. 구문 용어 3. BNF,EBNF 4. 토큰 5. 식별자 6. 어휘
[문장,식]

 
        최근수정     요약목록     참고문헌