Not logged in

Mealy Type State Models

There are fundamentally two formulations of state machines.

The two are mathematically equivalent, but individuals tend to have strong preferences for one form over the other. This package implements the Mealy formulation.

The Detailed Rules

It's important to enumerate the exact rules of state machines that we intend to support:

Previous Next