作者:乔恩·奥布里
未来的任务是根据以下方面的一般想法制定路线图的变换等价类到一个全面的概念微分分析图灵自动机。实现这一目标需要一些时间,但我认为以设想的终点命名线程,而不是以更平淡的起点命名,可以更好地衡量动机。
基本思想如下。一个人有一套图和集合的转换规则,以及每个规则具有将图形转换为图形的效果,在我们将要研究的情况下,这组转换规则将图集划分为转换等价类(TEC)。
从这一点出发,有很多有趣的偏移,但我将集中讨论逻辑应用,所以这里感兴趣的转换等价类几乎总是具有以下特征逻辑等价类(LEC)。
在续集中,一个重要的例子是根树作为图的种类,以及一对方程式转换规则,这些规则源自C.S.皮尔士的图形计算,并由乔治·斯宾塞·布朗(George Spencer Brown)加以恢复和扩展。
以下是基本的转换规则,通常称为算术公理或者更准确地说是算术首字母.
|
(1) |
|
(2) |
这应该足够开始了。