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. 식,문장
  1.   기술공통
  2.   기초과학
  3.   진동/파동
  4.   방송/멀티미디어/정보이론
  5.   전기전자공학
  6.   통신/네트워킹
  7.   정보기술(IT)
        1. 정보기술
    1.   전산기초
    2.   컴퓨터구조
    3.   프로그래밍
      1.   프로그래밍 언어론
            1. 프로그래밍 언어
        1.   구문
          1.   1. 구문
              2. 구문 용어
              3. BNF,EBNF
              4. 제어문,대입문
              5. 토큰
              6. 식별자
              7. 식,문장
        2.   이름,영역,수명,바인딩
        3.   자료형/데이터형
        4.   예외,이벤트 처리
      2.   객체지향
      3.   자료구조
      4.   알고리즘
      5.   자료표현(알파벳/코드)
      6.   시스템 소프트웨어
      7.   프로그래밍언어 종류
      8.   프로그래밍 기타일반
    4.   데이터베이스
    5.   소프트웨어 공학
    6.   운영체제
    7.   정보보호/보안
    8.   IT 기타기술
  8.   공업일반(기계,재료등)
  9.   표준/계측/품질
  10.   기술경영

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