# 토큰 (Token) **토큰(Token)**은 컴퓨팅 및 언어 처리 분야에서 원시 데이터 스트림을 의미 있는 최소 단위인 '토큰'으로 분할하는 과정을 지칭합니다. 이는 주로 프로그래밍 언어의 컴파일 과정인 **렉싱(Lexing)**이나 자연어 처리(NLP)의 전처리 단계에서 핵심적인 역할을 수행합니다. 토큰은 문맥에 따라 문자, 단어, 구절, 또는 특...
검색 결과
"컴파일러 설계"에 대한 검색 결과 (총 8개)
# 추상 구문 트리 ## 개요 **추상 구문 트리**(Abstract Syntax Tree, 이하 AST)는 소스 코드의 구조를 계층적이고 추상화된 형태로 표현한 트리 구조입니다. 컴파일러나 인터프리터가 소스 코드를 해석하고 분석하는 과정에서 핵심적인 역할을 하며, 구문 분석(파싱) 단계 이후 생성됩니다. AST는 실제 코드의 구문적 요소(예: 괄호, ...
# AST (추상 구문 트리) ## 개요 **AST**(Abstract Syntax Tree, 추상 구문 트리)는 컴퓨터 과학, 특히프로그래밍 언어 처리**(Programming Language Processing)와 **컴파일러 설계** 분야 핵심적인 데이터 구조입니다. AST는 소스 코드의 문법적 구조를 **계층적이고 구조화된 트리 형태**로 표현하...
Agda Agda는 함수형 프로그래밍 언어이자 **정형 증명기**(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 **의존 타입**(dependent types)을 지원하여, 프로그램의 구조와 논리적 성질을 타입 시스템에 직접 반영할 수 있어, 프로그램이 요구된 사양을 만족...
# 타입 이론타입 이론 Theory)은 프로그래밍 언어 수학 기초 이론에서 중요한 역할을 하는 학문 분야로, 데이터의 종류(타입를 체계적으로 정의하고, 이들 간의 관계와 연산의 유효성을 검증하는 이론적 기반을 제공합니다. 특히 프로그래밍 언 설계, 형식적 검증 컴파일러 개발, 함수형 프로그래밍 등에서 핵심적인 역할을 하며, 오류를 사전에 방지하고 코드의 안...
# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
# 타겟 코드 생성 겟 코드 생성(Target Code Generation)은 컴파일러 핵심 단계 중 하나로, 소스 코드를 특정 하웨어 아키텍 또는 가상 머신에서 실행 가능한 기계어 코드 또는 저수준 코드로 변환하는 과정을 의미합니다. 이 단계는 일반적으로 **중간 코드**(Intermediate Code)를 입력으로 받아, 대상 플랫폼(타겟)에 맞는 최...
# ELF ## 개요 ELF(**Executable and Linkable**)는 유닉스 계열 운영체제(Unix-like OS)에서 주로 사용되는 표준 파일 형식으로, 프로그램의 실행 파일, 공유 라이브러리, 오브젝트 파일(object files), 코어 덤프(core dumps) 등을 저장하는 데 활용됩니다. 1990년대 초반에 개발되어 System ...