 Moreover, in the algorithm, the total order must be maintained in the transformation functions and control procedure, which increases time/space complexities of the algorithm.Alternatively, the CA model is based on the admissibility theory.The CA model includes two aspects