Σ

Finite State Machine Visualizer

System Σ = (S,T,ϕ,C)

States (S)

Transitions (T)

Ouputs (ϕ)

Criteria (C)

System Diagram

Visual Representation of Σ = (S,T,ϕ,C)

List of All Possible Outcomes of the System

All possible system scenarios are listed; only with criteria can we discern functional from dysfunctional behavior, otherwise all behavior is alike

No states or outputs defined.