Hing Leung Tight Lower Bounds on the Size of Sweeping Automata. 384-393 2001 63 J. Comput. Syst. Sci. 3 https://doi.org/10.1006/jcss.2001.1783 db/journals/jcss/jcss63.html#Leung01