Derived Variables and Termination
-
For state machines, a derived variable is a _____, of real variables, that assigns a "value" to each state.
-
Which of the following is a derived variable for the diagonal robot on the grid example?
-
A derived variable is a constant iff it is both _____increasing and _____ decreasing.
-
Termination of a state machine is guaranteed if it has a derived variable on \(\mathbb{N} \) that is _____ decreasing in any _____.