•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
계산이론 모델, 형식언어 및 오토마타 이론, 계산 복잡도 이론 및 암호학, 논리학, 알고리즘 설계 및 분석 등에 관련한 서술이 있는 문서들을 포함합니다.
* 형식 언어 ( Formal language )
* 형식 문법 ( Formal grammar )
* 정규 언어 ( Regular language )
* 정규 문법 ( Regular grammar )
* 유한 오토마타 ( Finite Automata )
-- 결정적 유한 오토마타 ( Deterministic Finite Automata , DFA )
-- 비결정적 유한 오토마타 ( Nondeterministic Finite Automata , NFA )
* 문맥자유 언어 ( Context-free language , CFL )
* 문맥자유 문법 ( Context-free grammar , CFG )
-- 비결정적 푸쉬다운 오토마타 ( Nondeterministic Pushdown automata , NDPA )
-- 결정적 푸쉬다운 오토마타 ( Deterministic Pushdown Automata , DPA
* 문맥민감 언어 ( Context-sensitive language , CSL )
* 문맥민감 언어 ( Context-free grammar , CSG )

** 튜링 머신 ( 동일한 내용의 문단이 있는것으로 확인됨 )