Transition function gedefinieerd