Note that the output values depend on the current state and change when the state assignment changes. Note also that, while there are 16 states in the Figure program, only 12 of them are valid states.

Given the many parallels, it seems reasonable to suggest that state-oriented programming should be directly supported by a (state-oriented) programming language in the same way that OOP is supported ...