I will review some recent results on the reverse mathematics of automata on infinite words. This is still a new subarea of reverse mathematics, but it already touches very weak and very strong subsystems of second order arithmetic. I also comment on some of my recent research on the reverse mathematics of the Wagner hierarchy.