简洁的控制论 所有可确定的问题都可以通过算法解决。 就我们所知，人类就是图灵机。 大多数问题可以构造成图表。 具有顶点（保存数据的实体）和边缘（从一个顶点到另一个顶点，有时带有值）。 许多问题可以形成一棵树。 是没有循环的连接图。 我们使用的大多数树都是有根的：一个顶点是入口点（根）；另一个是根。 它是唯一没有边缘指向它的顶点，其他所有顶点都只有一个。 许多树木是有序的：顶点像列表一样排列其子级。 可以将一些问题整理成一个列表。 是有根的树，最多允许一个孩子。 可以将一些问题构造成一张图