The notion of Carry Value Transformation (CVT) is a model of Discrete Deterministic Dynamical System. In this paper, we have studied some interesting properties of CVT and proved that (1) the addition of any two non-negative integers is same as the sum of their CVT and XOR values.(2) While performing the repeated addition of CVT and XOR of two non-negative integers "a" and "b" (where a ≥ b), the number of iterations required to get either CVT=0 or XOR=0 is at most the length of "a" when both are expressed as binary strings. A similar process of addition of Modified Carry Value Transformation (MCVT) and XOR requires a maximum of two iterations for MCVT to be zero. (3) An equivalence relation is defined in the set Z Z × which divides the CV table into disjoint equivalence classes.

An effort to study one-dimensional nonuniform elementary number conserving cellular automata (NCCA) rules from an exponential order rule space of cellular automata is an excellent computational task. To perform this task effectively, a mathematical heritage under the number of conserving functions over binary strings of length [Formula: see text] has been highlighted along with their number conserving cellular automata rules (either uniform or nonuniform). A basic approach for the construction of some feasible nonuniform NCCA rules of any finite configuration with the assistance of nine uniform elementary CA rules has been investigated. From our construction procedure, recurrence equations are formulated as suitably solved to ascertain the actual range of NCCA rules. The state transition diagrams (STDs) of NCCA rules are analyzed. While classifying the binary strings through STDs, we found a fascinating optical insight that equal weight strings from a class whose cardinality is the same as the binomial coefficient [Formula: see text] where [Formula: see text] is the length and [Formula: see text] is the weight of the binary string.

The purpose of the present study is to search one-dimensional Cellular Automata (CA) rules which will solve the density classification task (DCT) perfectly. The mathematical analysis of number conserving functions over binary strings of length n gives an indication of its corresponding number conserving cellular automata rules (either uniform or non-uniform). The state transition diagrams (STDs) of number conserving CA rules have been analyzed where it has been found that these STDs can generate different DCT solutions. While studying the properties of STDs, an interesting classification of binary strings could be made where equal weight strings form a class and the cardinality of each class is same as the binomial coefficient n C k ; n is the length and k is the weight of the binary string. Apart from STDs, other deterministic methods have been proposed to obtain the exact solution of DCT. All these exact solutions of DCT using different deterministic methods can be viewed as an improvement over the soft computing techniques used earlier to obtain approximate solutions. .

No abstract

No abstract