1_Zadzk0WW_计算复杂性：现代方法[（美）Sanjeev.Arora Boaz.Barak]

03形式语言、自动机与计算理论7册