Using software simulations to teach automata. - Allen P. Thomas; Linda B. Sherrell; James B. Greer (J. Comput. Sci. Coll., 2006)