State Transition Table
Current State Input Next State
Output Table
State Output