本教材被用于德国著名大学计算机学科,内容深入浅出的,详细的介绍了当代的计算理论。内容包括自动机理论与形式语言,图灵机的可计算性与递归函数,不可计算性,计算复杂性以及数理逻辑,采用数学的处理方法和计算机科学的观点。