Structural Computing Requirements for the Transformation of Structures and Behaviors

摘要

The field of structural computing is a new paradigm of computation based on structure as opposed to data. Initial work in this area has suggested the need for the transformation of structures, especially when considering the interpretation of a structure from domain A within domain B. This work examines the need for formal mechanisms to specify both structures and the legal ways in which structures can be transformed from one structure to another. We motivate this discussion with an example from the domain of programming languages. In addition, we briefly present an example from the domain of genetic algorithms that suggests the need to consider transformations on behaviors as well. We conclude by enumerating the benefits to structural computing if such formalisms are developed and suggest possible first avenues of exploration.