Johann Reger Klaus Schmidt 0002 Modeling and analyzing finite state automata in the finite field F<sub>2</sub>. 193-206 2004 66 Math. Comput. Simul. 2-3 https://doi.org/10.1016/j.matcom.2003.11.005 db/journals/mcs/mcs66.html#RegerS04