Many scientific problems entail labeling data items with one of a given, finite set of classes based on features of the data items. For example, oncologists classify tumors as different known ...

Finite state machines (FSMs) have finite number of states, conditions that lead to internal state transitions, and relevant behavior of the design in each machine state. An FSM generally models the ...