| 摘要 |
A programming language for representing processes as strings of symbols has a syntax delimiting places in a symbol string. A convention associates delimited places in symbol strings. An invocation construct instantiated as an invocation string has at least (i) an invocation destination list of delimited places comprising a complete set of inputs for a process, and (ii) an invocation source list of delimited places comprising a complete set of results for the process. A definition construct instantiated as a definition string corresponds to an instantiated invocation string and has at least (i) a definition source list of delimited places associated with the destination list of the corresponding invocation string, (ii) a definition destination list of delimited places associated with the source list of the corresponding invocation string; and (iii) a resolution string defining resolution of the process by relating delimited places of the definition destination list with delimited places of the definition source list. Completeness of input of the invocation destination list is sufficient for resolving the process defined by a definition string.
|
