분류:계산 모형

ㄹ

• 람다 대수 (1 C, 7 P)

ㅇ

• 양자 컴퓨팅 (2 C, 10 P)
• 오토마타 이론 (3 C, 9 P)

ㅈ

• 지속성 (2 C, 6 P)

ㅊ

• 추상 기계 (1 C, 4 P)

ㅌ

• 튜링 기계 (9 P)

ㅍ

• 프로그래밍 패러다임 (9 C, 43 P)
• 프로세스 계산 (1 P)

• 계산 모델

D

• DNA 컴퓨팅

F

• FRACTRAN

S

• SECD 머신

ㄱ

• 결정론적 유한 상태 기계
• 교대 튜링 기계
• 구조화 정리

ㄷ

• 단일 명령어 집합 컴퓨터
• 데이터 흐름

ㄹ

• 람다 대수
• 랜덤 접근 기계
• 레지스터 머신

ㅁ

• 마샬링 (컴퓨터 과학)

ㅂ

• 병렬 랜덤 접근 기계
• 비결정론적 튜링 기계

ㅅ

• 상태 (컴퓨터 과학)
• 상태도 (오토마타 이론)
• 스택 머신
• 스트림 프로세싱
• 신탁 기계

ㅇ

• 양자 컴퓨터
• 양자 회로
• 위상 양자 컴퓨터

ㅈ

• 전이 시스템
• 지속성

ㅊ

• 추상 기계

ㅌ

• 튜르마이트
• 튜링 기계

ㅍ

• 페트리 네트
• 표시적 의미론
• 푸시다운 자동 기계

ㅎ

• 행위자 기반 모형
• 확률적 튜링 기계