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

(2017-11-18)

Lexical Structure, 어휘 구조, Lexical Analysis, 어휘 분석

1. 구문 (Syntax)

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

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

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

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

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

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


2. 어휘 (Lexeme)

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

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

  ㅇ 어휘 분석 (Lexical Analysis)
     - 분석된 토큰들을 생성하는 것
        . 例) 변수명 앞에 숫자가 올 수 없음 등의 변수명 검증 처리

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

     * 소스 프로그램 => Lexical Analyzer => Syntactic Analyzer => Type Checker 
                     => Code Optimizer => Code Generator => 기계 코드


3. 의미 (Semantic) 

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

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

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


4. 문법 (Grammer)

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


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

 
        최근수정     참고문헌