1. A computer-implemented method for defining a structured stochastic automaton in which a computer system performs operations comprising: obtaining at least one state space (SS) for variables of interest relating to a problem of interest; obtaining none or more densities (D) defining pure functions over locations in said at least one SS; and obtaining none or more kernels (K) defining a stochastic walk through said at least one SS.