Automata studies - Shannon, Claude Elwood, 1916-2001; McCarthy, John, 1927-2011 (Annals of mathematics studies ;, 1956)