A function denoting the transition states. Can be recursively defined by Transition Function.