计算理论

论可计算数
论可计算数
论可计算数克里斯·伯恩哈特
形式语言与自动机导论
形式语言与自动机导论
形式语言与自动机导论林兹