[天魔神敎]

튜링 머신(Turing Machine), 언어(Language), 문법(Grammar), 그리고 계산 불가능한 문제(Undecidability)에 대한 핵심 개념을 정리한다.