Review: C. C. Elgot, Decision Problems of Finite Automata Design and Related Arithmetics