Transition system

State machine that may have infinite states From Wikipedia, the free encyclopedia