transitionFunctionType

P168025
predicate

Indicates the type or category of a state-transition function that governs how a system moves from one state to another.

Sample triples (1)

Subject Object
NFA Q × Σ → P(Q)