print · source · login   

Conventions

  • we say that transition system (TS) is a finite-state machine (FSM) if both the set of states and the set of action are finite