State

where is
the value of state variable i and m is the
number of state variables. 
Initial state set 
I = {s : states where the decision
process begins} 
Final state set 
F = {s : states where the decision
process ends} 
State space 
S = {s : s is feasible} 
Decision 
where is
the value of the jthdecision variable and p
is the number of decision variables. 
Feasible decision 
D(s) = {d : d leads
to a feasible state from state s} 
Transition function 
s' = T(s, d), a function that
determines the next state, s', reached when decision
d is taken from state s 
Decision objective 
z(s, d), the measure of effectiveness
associated with decision d taken in state s

Path objective 
z(P), the measure of effectiveness
defined for path P. This function describes
how the objective terms for each state on the path and
the final value function are combined to obtain a measure
for the entire path. 
Final value function 
f(s) value that is specified for all final
states 