John Rhodes — mathematician known for work on semigroups, automata, and differential equations