\input zb-basic
\input zb-ioport
\iteman{io-port 50319352}
\itemau{Hu, Heng; Xue, Hong-Xi; Bian, Ji-Nian}
\itemti{HSM2: A new heuristic state minimization algorithm for finite state machine}
\itemso{J. Comput. Sci. Technol. 19, No. 5, 729-733 (2004).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/BF02945600}
\end