ABSTRACT
We have studied in this book the possibility to conceive computer programs that evolve in an unpredictable manner.
In order to realize a rigorous study, a mathematical model was required to describe how to understand the sentence “unpredictable evolution of a program on a computer.” To do so, well-defined discrete chaotic dynamical systems that generalize serial and parallel iterations have been studied on Cartesian products of Boolean sets. Such systems model accurately the action of a program on a computer. These iterative systems have first been studied using the discrete mathematics framework, in which unpredictability refers to the nonconvergence of the system.
