Transition Table

Mealy

Moore

Number of Inputs

Implication Table

Equivalence Classes Visualization