Seymour Ginsburg Sheila A. Greibach On AFL Generators for Finitely Encoded AFA. 1-27 1973 7 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss7.html#GinsburgG73