Tobias Marschall Construction of minimal deterministic finite automata from biological motifs. 922-930 2011 412 Theor. Comput. Sci. 8-10 https://doi.org/10.1016/j.tcs.2010.12.003 db/journals/tcs/tcs412.html#Marschall11