Original: In this case after reading each symbol , the automaton reads all the successor symbols in the input tree .
Simplified: In this case the input is accepted .