Syntax, Lexeme, Semantic   구문, 신택스, 어휘 항목, 의미 (Semantic)

(2017-01-29)

Lexical Structure, 어휘 구조

1. 구문 (Syntax)

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

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

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

     * 1950년대 Noam Chomsky(촘스키)의 문맥 무관 문법(Context-free Grammer)이란 아이디어에
       따라, 문맥적인 의미를 따로 떼어 놓고 형식화된 문법에 대한 표기법
        . 대개 프로그래밍 언어는 문맥 무관 언어(Context-free Language)의 구조로 제한시켜,
        . 기계의 효율적인 번역이 가능하도록 충분히 단순한 구조를 유지시켜 만들어짐

  ㅇ 구문 분석,파싱(Parsing) 또는 파서(Parser)
     - 구문 문법을 적용하여 분석 수행
         . 어휘 분석으로 생성된 토큰을 입력으로 하여 구조화된 구문 트리를 생성하는 후처리


2. 어휘 항목 (Lexeme)

  ㅇ 가장 낮은 단위로써 논리적으로 구분 가능한 요소들의 그룹 (때론, 단어)
     - 例) 수치 리터럴, 연산자, 특수어 등

  ㅇ 어휘 구조 (Lexical Structure)
     - 구문이 기반을 두고있는 구성요소들 즉, 토큰의 구조
        . 여기서, 토큰은 어휘 항목들을 구분하는 분류 단위

  ㅇ 어휘 분석 (Lexical Analysis)
     - 例) 변수명 앞에 숫자가 올 수 없음 등의 변수명 검증 처리

  ※ 통상적인 번역기에서,
     - 어휘 분석 단계에서 일련의 문자들을 토큰으로 구분하고,
        . 주로, 이름,수치 리터럴과 같은 작은 단위들의 처리
        . 주어진 입력 문자열로부터 어휘항목들을 추출하고, 
          이에 상응하는 분류 토큰(내부 코드)들을 생성하게 됨
     - 구문분석 단계에서 이를 입력으로 처리하여 구문 구조를 결정하게 됨
        . 주로, 표현식,문장 등 큰 단위들의 처리


3. 의미 (Semantic) : 의미론(Semantics)적인 기호 요소

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

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

  ㅇ 형태소 (Morpheme, 形態素)
     - 의미를 가지는 요소로서는 더이상  분석할 수 없는 최소의 문법 단위


4. 문법 (Grammer)

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


[구문]1. 구문  2. 문장,표현식,변수  3. BNF,EBNF  4. 토큰  5. 제어문  6. 정규 표현식  

 
        최근수정     모바일웹     참고문헌