Automatic functions, linear time and learning. - John Case; Sanjay Jain 001; Samuel Seah; Frank Stephan 001 (Log. Methods Comput. Sci., 2013)