Formal computational models that follow probabilistic rules to generate sequences or recognize patterns.