본문 바로가기

컴파일러6

[컴파일러] 06. 어휘 분석 - LEX LEX - 입력 스트림에서 정규표현으로 기술된 토큰들을 찾는 프로그램 작성에 도움을 주는 SW - chomsky가 고안한 hierarchy 중 type 3인 Regular Grammar를 사용하고 이를 이용해 만든 언어를 Regular Language라고 함 Lex source %% %% dcl part : %{ ... %} macro definitions : name translation regular expressions + actions c 부프로그램들로 그대로 lex.yy.c에 복사된다. Lex regular expressions (렉스의 정규표현) Text characters : 입력 스트림에서 실제 매칭되는 부분 Operator characters : 토큰의 구조를 쉽게 표현할 수 있도록 Le.. 2023. 4. 12.
[컴파일러] 05. 어휘 분석 (Lexical Analysis) 어휘 분석 (Lexical Analysis) : Token 인식, source program의 line number 처리, 주석 처리 Token (토큰) - Token : 문법적으로 의미 있는 최소 단위로 문법에서 terminal symbol - Token number (토큰 번호) : 토큰을 대표하는 정수 번호 - Token value (토큰 값) : 스트링 값(명칭)이나 수치 값(상수) Token의 종류 - Special form (특수 형태) - language designer 1. Keyword (지정어) : const, begin, end, for, if... 2. Operator symbols (연산자 기호) : +,-,*,/, 정규표현 (Regular Expression) -> 상태전이도 2023. 4. 10.
[컴파일러] 04. Symbol Table Symbol table : 토큰의 속성을 저장 관리하기 위한 테이블 (자료구조) 토큰 분석 단계에서 identifier (symbol)에 관한 정보를 수집하여 저장하고, 구문 분석 단계에서 저장된 정보의 의미 검사 및 처리하여 올바른 target code가 생성될 수 있도록 한다. Hash table에 새롭게 입력받은 identifier를 직접 저장하지 않고 SymbolTable에 스트링을 저장한 후 인덱스를 hash table에 저장하는 방식 : - token 수가 많아지면 search, insert, delete 등에 대한 효율적인 심벌테이블 구조와 운영이 필요함. - 메모리 측면 저장 공간을 효율적으로 하는게 필요함 *시간 측면 - Unordered symbol table : symbol 정의된 순.. 2023. 4. 10.
[컴파일러] 03. 정규 언어 (Regular Language) 정규 문법과 정규 언어 (Regular Grammar & Regular Language) 정규언어 : 토큰의 형태를 기술하는데 사용하는 언어 The methods for specifying the regular languages 1) regular grammar (rg) 정규 문법 2) regular expression (re) 정규 표현 3) finite automata (fa) 유한 오토마타 1. 정규문법 : 정규 언어를 기술하는 형식 문법 - 생성 규칙에 따라 분류한 네가지 문법 형태 중 가장 간단한 형태인 Type 3 문법 - 어휘 분석 과정에서 인식되는 토큰 구조를 표현하는데 이용 Type 3 Grammar (N.Chomsky) - RLG (Right Linear Grammar) : A->tB,.. 2023. 4. 8.
[컴파일러] 02. 형식언어_문법의 분류 문법의 분류 (Chomsky Hierarchy) α -> β ∈ P의 형태에 따라 Type 0 : No restrictions(unrestricted grammar, UG) • 생성규칙에 제한이 없음. 다만 α 는 ε 가 될 수 없음. Type 1 : Context-sensitive grammar(CSG) • α -> β, | α | ≤ | β| 우측의 스트링 길이가 좌측보다 길다. Type 2 : Context-free grammar(CFG). • A -> α, where A : nonterminal, α ∈ V*. 좌측은 하나의 nonterminal이며, 우측은 terminal과 nonterminal로 이루어진 스트링이다. Type 3 : Regular grammar(RG). 정규문법 1) A -> .. 2023. 4. 6.
[컴파일러] 01. 컴파일러개론 컴파일러란? 주어진 language로 작성된 컴퓨터 프로그램을 다른 언어의 동등한 프로그램으로 변환하는 프로세스입니다. Cross-Compiler "A cross-compiler is a program which is to run on machine A and produce target code for another machine B." Interpreter 프로그래밍 언어의 소스 코드를 바로 실행하는 컴퓨터 프로그램 또는 환경을 말한다. Preprocessor 입력 데이터를 처리하여 다른 프로그램에 대한 입력으로서 사용되는 출력물을 만들어내는 프로그램이다. 컴파일러 구조 Front-End : language dependent part Back-End : machine dependent part Lexi.. 2023. 4. 6.

티스토리툴바