delta(q,a) is the state reachable from q by reading the input symbol a.