Automata allow us to rigorously argue about computation based on the simplest machines we can conceive of. If you can not make strong claims about automata, the

Automata allow us to rigorously argue about computation based on the simplest machines we can conceive of. If you can not make strong claims about automata, then you have no chance of making strong claims on "real world" (whatever that is) machines.