Tools for simple state machines, such as those based on Markov chains.