The rules in a shape grammar apply in terms of embedding to take advantage of the parts that emerge visually in the appearance of shapes. While the shapes are kept unanalyzed throughout a computation, their descriptions can be defined retrospectively based on how the rules are applied. An important outcome of this is that continuity for rules is not built-in but it is "fabricated" retrospectively to explain a computation as a continuous process. An aspect of continuity analysis that has not been addressed in the literature is how to decide which mapping forms to use to study the continuity of rule applications. This is addressed in this paper in a new approach to continuity analysis, which uses recent results on shape topology and continuous mappings. A characterization is provided that distinguishes the suitable mapping forms from those that are inherently discontinuous or practically inconsequential for continuity analysis. It is also shown that certain inherent properties of shape topologies and continuous mappings provide an effective method of computing topologies algorithmically.
翻译:形状语法中的规则适用于嵌入,以利用在形状外观中显露出来的部分。 虽然在计算过程中这些形状没有经过分析, 它们的描述可以追溯性地根据规则的适用情况加以界定。 其重要结果是, 规则的连续性不是内在的, 而是“ 编造” 将计算解释为一个连续的过程。 文献中未涉及的连续性分析的一个方面是如何决定使用哪些映射形式来研究规则应用程序的连续性。 本文用新的连续性分析方法处理了这一点, 这种方法使用形状表态和连续绘图的最新结果。 所提供的特征描述区分了适当的绘图形式与连续性分析固有的不连续性或实际上不相容的绘图形式。 还表明,形状表理学和连续绘图的某些固有特性提供了一种有效的计算表理学方法。