Relations of tracing are de ned on structures of con gurations of abstract knowledge space. Properties
of di erent types of tracing mappings and a problem of extraction of semantically correct fragments of
con gurations ...
Structural and functional properties are investigated for families of the in nite algorithmic processes
that represent abstract operations above con gurations of an abstract knowledge space which are
generated by recursively ...