Syntax   구문, 통사론, 신택스

(2018-10-13)

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

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


2. 문법 (Grammer)

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

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


3. 어휘 (Lexeme) / 형태론

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

     * 토큰(Token)은, 어휘 항목을 구분하는 최소 분류 단위
        . 즉, 의미적으로 구분되는 최소 단위

  ㅇ 어휘 구조 (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)

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


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

  ㅇ 형태소 (Morpheme, 形態素)
     - 의미를 가지는 요소로서는 더이상  분석할 수 없는 최소의 문법 단위
        . 영어에서는 단순하나(단수형 명사와 's'를 붙인 복수형 등), 
        . 한글에서는 풍부하게 있음

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

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


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

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