THEEQUIVALENCEBETWEEN2GsAND2EsANDANEWPROOFTOPUMPINGLEMMA

摘要

简要介绍了二型表达式的概念，严格证明了上下文无关语言类恰是二型表达式所表达的语言类．然后。