Constructive probability and the SIGNalea language: building and handling random processes via programming

The foundations of a theory of constructive probability are established, which allows construction and use of random processes via programming. The formalism proposed for this is based on SIGNAL, a tool for describing dynamical systems. The name of this extension is SIGNalea. This formalism allows specifying equally well different objects such as queuing networks or fuzzylike reasoning systems, which is achieved by extending to dynamical systems the notion of Gibbs random fields on graphs. The authors show how to specify (partially) randomized dynamical systems with SIGNalea, and how to simulate them