Local signals are declared as a littyle tag at the bottom of a "domain".
Boolean inputs: guard over a set of inputs. Transition relation is a subset of S*B(I)*2^O*S
Monomial form: conjunction of literals. A literal is an input or its negation.
Reactivity and deterministic: for every state and all for all outgoing transition from a state there is a valid transition.
Composed and transmitted from my iPod Touch
No comments:
Post a Comment