奥格登引理与正则树语言

摘要:正则树语言的强抽放引理的动机和证明

作者:Marco Kuhlmann

论文ID:0810.4249

分类:Computational Complexity

分类简称:cs.CC

提交时间:2008-10-24

PDF 下载: 英文版 中文版pdf翻译中