I was thinking that in the formal model (or symbolic model?) the destructor terms were used to model processes that could abort generating some errors or something like that. But then, I realized that it doesn't make sense because Processes are different structures, they are not terms.
So, I found this slide that defines destructors and constructors terms on the page eight as follows:
Constructors are used to build terms
Destructors manipulate the terms
But it is still unclear to me. Any function manipulate terms and they may be used to build terms... Thus, are these two sets of terms not disjoint?
Well, could someone explain the difference between these two types of terms and say their right definitions ?