프로그래밍 언어론

최근 수정 시각: 2025-10-03 07:16:32

편집

IP 우회 수단(프록시 서버, VPN, Tor 등)이나 IDC 대역 IP로 접속하셨습니다. (#'30183489')
(VPN이나 iCloud의 비공개 릴레이를 사용 중인 경우 나타날 수 있습니다.)
잘못된 IDC 대역 차단이라고 생각하시는 경우 게시판에 문의하시길 바랍니다.

닫기

토론 역사

분류

프로그래밍

이 문서는 토막글입니다.

토막글 규정을 유의하시기 바랍니다.

이론 컴퓨터 과학
Theoretical Computer Science

[ 펼치기 · 접기 ]

이론
기본 대상	수학기초론{수리논리학(논리 연산) · 계산 가능성 이론 · 범주론 · 집합론} · 이산수학(그래프 이론) · 수치해석학 · 확률론 및 통계학 · 선형대수학
다루는 대상과 주요 토픽
계산 가능성 이론	재귀함수 · 튜링 머신 · 람다대수 · 처치-튜링 명제 · 바쁜 비버 · 디지털 물리학
오토마타 이론	FSM · 푸시다운 · 튜링 머신(폰노이만 구조) · 정규 표현식 · 콘웨이의 생명 게임 · 형식언어
계산 복잡도 이론	점근 표기법 · 튜링 기계^{고전, 양자, 비결정론적, 병렬 임의접근 기계} · 알고리즘 · 자료구조 · 알고리즘 패러다임(그리디 알고리즘, 동적 계획법)
정보이론	정보 엔트로피 · 데이터 압축(무손실 압축 포맷 · 손실 압축 포맷) · 채널 코딩(채널 용량) · 알고리즘 정보 이론(AIT) · 양자정보과학
프로그래밍 언어론	프로그래밍 언어(함수형 언어 · 객체 지향 프로그래밍 · 증명보조기) · 메타프로그래밍 · 람다 대수 · 유형 이론 · 프로그래밍 언어 의미론 · 어휘 분석 · 파싱 · 구문 트리(완전 구문 트리 · 추상 구문 트리) · 컴파일러 이론
주요 알고리즘 및 자료구조
기초	정렬 알고리즘 · 순서도 · 탐색 알고리즘
추상적 자료형 및 구현	배열^벡터 · 리스트^{연결 리스트} · 셋(set) · 트리^{이진 트리(레드-블랙 트리, 힙), B-트리, 피보나치 힙} · 큐 · 스택
수학적 최적화	조합 최적화	외판원 순회 문제 · 담금질 기법 · 유전 알고리즘 · 기계학습
	볼록 최적화	내부점 방법 · 경사하강법
	선형계획법	심플렉스법
계산 수론 및 암호학	밀러-라빈 소수판별법 · Pollard-rho 알고리즘 · 쇼어 알고리즘 · LLL 알고리즘 · 해시(MD5 · 암호화폐 · 사전 공격(레인보우 테이블) · SHA) · 양자 암호 · 난수생성
	대칭키 암호화 방식	블록 암호 알고리즘(파이스텔 네트워크 · DES · AES · ARIA · LEA · Camellia) · 스트림 암호 알고리즘(RC4)
	공개키 암호화 방식	공개키 암호 알고리즘(타원 곡선 암호 · RSA) · 신원 기반 암호 알고리즘(SM9)
계산기하학	볼록 껍질 · 들로네 삼각분할 및 보로노이 도형^{Fortune의 line-sweeping 알고리즘} · 범위 탐색^{vp-tree, R-tree} · k-NN
그래프 이론	탐색^{BFS, DFS, 다익스트라 알고리즘, A* 알고리즘} · 에드몬드-카프 · 크루스칼 알고리즘 · 위상 정렬 · 네트워크 이론
정리
정지 문제^{대각선 논법} · 암달의 법칙 · P-NP 문제^미해결 · 콜라츠 추측^미해결
틀:이산수학 · 틀:수학기초론 · 틀:컴퓨터공학

1. 개요2. 분류3. 교재4. 기타5. 관련 문서6. 외부 링크

1. 개요[편집]

프로그래밍 언어론(Programming Language Theory)은 프로그래밍 언어의 구조, 설계 방식에 대해 다루는 학문 분야이다. 약칭으로는 PLT라고 불린다.

2. 분류[편집]

프로그래밍 언어: 프로그래밍 언어의 발전사 등
프로그래밍 패러다임
- 객체 지향 프로그래밍
  - 객체 및 클래스
  - 상속
  - 다형성
  - 인터페이스
- 논리형 프로그래밍
- 함수형 프로그래밍
추상적 자료형
부프로그램(Subprogram): 호출에 의해 실행되는 코드. 함수나 프로시저가 여기 해당한다.
예외 처리(Exception): 버퍼 오버플로 등 비정상적인 사건이 발생할 때에도 프로그램이 중단 없이 다시 실행될 수 있게 하는 과정.
의미론
- Operational Semantics
컴파일러 이론
구문
- 파스 트리
- 구문 트리
  - 완전 구문 트리(파스 트리)
  - 추상 구문 트리
- EBNF
블록 및 유효범위
데이터 타입
- 타입 검사
함수
기타
- 어휘 분석, 이름, 식, 배정문, 문장-수준 제어 구조, 동시성, 이벤트 처리

5. 관련 문서[편집]

프로그래밍 언어

6. 외부 링크[편집]

이 저작물은 CC BY-NC-SA 2.0 KR에 따라 이용할 수 있습니다. (단, 라이선스가 명시된 일부 문서 및 삽화 제외)
기여하신 문서의 저작권은 각 기여자에게 있으며, 각 기여자는 기여하신 부분의 저작권을 갖습니다.

나무위키는 백과사전이 아니며 검증되지 않았거나, 편향적이거나, 잘못된 서술이 있을 수 있습니다.
나무위키는 위키위키입니다. 여러분이 직접 문서를 고칠 수 있으며, 다른 사람의 의견을 원할 경우 직접 토론을 발제할 수 있습니다.

프로그래밍 언어론

1. 개요[편집]

2. 분류[편집]

3. 교재[편집]

4. 기타[편집]

5. 관련 문서[편집]

6. 외부 링크[편집]