전산 구문 기초, 전산 구문 용어

1. [전산]  전산 구문 기초 용어

  ㅇ 프로그램 코드 (code)
     - 문장의 집합
        . 토큰들로 구성된 문자열들의 집합

  ㅇ 토큰 (Token)
     - 가장 낮은 단위로 어휘 항목들을 구분할 수 있는 요소들
        . 의미를 가지는 최소한의 문자 덩어리(문자열)
        . 例) 예약어,식별자,리터럴,특수기호 등

  ㅇ 식별자 (Identifier)
     - 프로그램 안에서는, 구성요소 간에 구별/식별성을 주는 이름
        . 例) 변수명,상수명,레이블명,부프로그램명(함수명),메소드명,클래스명 등

     - 프로그래밍 언어에서는, 미리 정의되는 언어 구성자를 다음 2가지로 구분
        . 재정의 불가능 식별자 : 예약어 (미리 약속되어 변경 불가)
        . 재정의 가능 식별자   : 미리 정의되지만 다르게 재정의 가능한 식별자

  ㅇ 식 또는 표현식 (Expression)
     - 1 이상의 피연산자(상수,변수 등)들이 연산자와 결합되어 그 계산 결과를 반환하는 식
        . 프로그램 내에서 값을 만들어냄

  ㅇ 문장 (Statement 또는 Expression Statement)
     - 표현식 등으로 구성되며, 그 결과에 따라 컴퓨터에 명령을 내리게 됨

  ㅇ 신택틱 슈거 (Syntactic Sugar)
     - 코드를 더 읽기 좋게 표현하는 대체 문법

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


2. [전산]  식별자 예약어 키워드 토큰 어휘항목 비교

  ㅇ 식별자 (Identifier) : 구별/식별성을 강조한 일반적인 용어
     - 주로, 사용자/프로그래머가 정하는 이름

  ㅇ 키워드/핵심어 (keyword) : 프로그램의 구성단위를 강조한 용어
     - 주로, 프로그래밍 언어에서, 이미 정해진 의미를 갖음 
     - 때론, 핵심 중요 내용을 잘 나타내는 단어 또는 문구를 말함            ☞ 정보검색 참조

  ㅇ 예약어 (reserved word) : 의미가 고정되어서, 프로그램 도중에 그 의미가 변경될 수 없음

  ※ 대부분 키워드/예약어가 같은 의미이나, 드물게 예약어이지만 키워드가 아닐 수 있음 
     - 例) 언어표준에서 예약어로써 정하기 만 했고, 
        . 키워드가 되기에는 아직 그 내용/기능이 구체적으로 정해지지 않는 경우

  ㅇ 토큰   : 가장 낮은 단위로 어휘 항목들을 구분할 수 있는 요소

  ㅇ 어휘항목 : 어휘분석에서, 가장 낮은 단위로써 논리적으로 구분 가능한 요소(토큰)들의 그룹