Deterministic Finite State Machine

Create State Create Transition Run Test Instruction

Input: