微分分析图灵自动机•概述

未来的任务是根据以下方面的一般想法制定路线图的变换等价类到一个全面的概念微分分析图灵自动机。实现这一目标需要一些时间，但我认为以设想的终点命名线程，而不是以更平淡的起点命名线程，可以更好地衡量动机。

基本思想如下。一个人有一套 ${\显示样式{\mathcal{G}}}$ 图和集合的 $｛\displaystyle｛\mathcal｛T｝｝｝$ 转换规则，以及每个规则 ${\displaystyle\mathrm{t}\在{\mathcal{t}}}中$ 具有将图转换为图的效果， ${\displaystyle\mathrm{t}:{\mathcal{G}}\到{\mathcal{G{}}.}$ 在这种情况下，我们将研究这组转换规则，将这组图划分为转换等价类（TECs）。

从这一点出发，有很多有趣的偏移，但我将集中讨论逻辑应用，所以这里感兴趣的转换等价类几乎总是具有以下特征逻辑等价类（LEC）。

在续集中，一个重要的例子是根树作为图的种类，以及一对方程式转换规则，这些规则源自C.S.皮尔士的图形计算，并由乔治·斯宾塞·布朗（George Spencer Brown）加以恢复和扩展。

以下是基本的转换规则，通常称为算术公理或者更准确地说是算术首字母.

	（1）
	（2）

这应该足够开始了。

微分分析图灵自动机•概述

导航菜单

搜索