Definition Extended Transition Function