틀:계산 이론

v t e 계산 이론
오토마타와 형식 문법	오토마타 이론 유한 상태 기계 정규 문법 정규 표현식 (클레이니 스타) 형식 언어 형식 문법 촘스키 위계 튜링 기계 람다 대수
계산 가능성	계산 가능성 이론 처치-튜링 논제 재귀 재귀 집합 재귀 열거 집합 결정 문제 정지 문제 계산 가능한 수 μ-재귀 함수 원시 재귀 함수
계산 복잡도	계산 복잡도 PSPACE NP-난해 NP NP-완전 P P-NP 문제