Syntax   구문, 통사론, 신택스

(2018-05-24)

Lexeme, 어휘, 어휘 항목, Lexical Structure, 어휘 구조, Grammer, 문법, Semantic, 의미 (Semantic), 시맨틱

1. 언어의 구성 요소언어를 구성하는 최소의 요소로는 어떤 것들이 있을까?
     - 例) 문법(규칙성), 어휘(형태론), 형식(통사론), 의미 등


2. 문법 (Grammer)

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

     * 형식 언어(Formal Language) : 언어의 문법 구조를 수학적 측면에서 형식화한 인공 언어

  ㅇ 한편, 자연 언어는, 
     - 그 문법이 지역과 시간에 따라 변화하고 있고,
     - 생성적이며, 구성적이며, 유연성이 풍부한 편 임


3. 구문 (Syntax) / 통사론

  ㅇ 구문 또는 구문 구조 (Syntax)
     - 언어가 구성되는 방법/구조
        . 표현식,문장,프로그램 단위들이 구성/조합되는 형식 (언어의 구조)

     * 자연 언어에서는, 단어들이 연결되어 구문이 만들어지는 것으로 봄

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

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

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

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

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

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

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


4. 어휘 (Lexeme) / 형태론

  ㅇ 어휘 항목 (Lexeme)
     - 가장 낮은 단위로써 논리적으로 구분 가능한 요소(토큰)들의 그룹
        . 때론, 심볼/단어/예약어/키워드 등을 총칭
        . 例) 수치 리터럴, 연산자, 특수어 등

  ㅇ 어휘 구조 (Lexical Structure)
     - 구문에 기반을 두고있는 구성요소들 (토큰의 구조)
        . 여기서, 토큰은 어휘 항목들을 구분하는 최소 분류 단위어휘 분석 (Lexical Analysis)
     - 원시 프로그램을 읽어들여, 토큰이라는 의미있는 문법 단위로 분리하는 것

     * 분리 순서(토큰화) 例) 문단 -> 문장 -> 단어 -> 형태소


5. 의미 (Semantic) 

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

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


6. [참고사항]  형태소, 형태론

  ㅇ 형태소 (Morpheme, 形態素)
     - 의미를 가지는 요소로서는 더이상  분석할 수 없는 최소의 문법 단위
        . 例) 영어에는 없으나, 한글에는 있음

  ㅇ 형태론 (形態論, Morphology)
     - 단어의 어형(語形) 변화를 다루는 문법의 한 분야
        . 형태소들이 결합하여 낱말을 형성하는 체계/규칙
        . 형태소 및 낱말을 기본 단위로 함

     - 통상,
        . 형태론은, 어형 변화/교체를 연구하고, 
        . 통사론은, 단어들의 결합을 연구대상으로 한다고 함


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

 
        최근수정     요약목록(시험중)     참고문헌