A Generalised Nondeterministic Finite Automata (GNFA) is a 5-tuple

Key part of a GNFA is that