BackgroundContext-Free Languages = Languages Accepted by NPDAs라는 theorem을 증명하려면,1. Context-Free Languages (Grammers) $\subseteq$ Languages Accepted by NPDAs2. Context-Free Languages (Grammers) $\supseteq$ Languages Accepted by NPDAs이 두가지를 증명해야 한다.Context-Free Languages (Grammers) $\subseteq$ Languages Accepted by NPDAs는 직관적으로 증명할 수 있다.일반적으로 아무 문법 $G$가 주어지면위와 같은 과정으로 Grammar를 accept하는 NPDA를 만들어서 ..