## Iterative self-programming.

Leave a comment

Let S be the basic symbol set where S is an ordered set of symbols which correspond one-to-one with the effective atomic operational semantics of any programming language (of sufficient power and complexity, see [1].) That is, S represents the complete enumeration of the operational semantics of a programming language P. For example, S1 would be the alphabetically first legitimate symbol in P, and Si would be the ith symbol in P. A function is […]