RILEY YE 的创作记录

原创 《计算机程序设计艺术》第一卷 1.1 读书笔记

本文介绍了《计算机程序设计艺术》第一卷中关于形式化定义算法的内容，着重阐述了计算方法的形式化定义。计算方法被定义为四元组 $(Q, I, \Omega, f)$，其中 $Q, I, \Omega$ 分别表示状态集合、输入集合和输出集合，而 $f$ 是状态集合上的函数。文章详细解释了在这个定义中的各个元素的含义，以及计算过程中的计算序列形式。进一步讨论了计算规则 $f$ 的约束，以确保算法的可行性，指出了算法需要满足的条件。