Ndfa Transition Function Formally