FSM Library— general-purpose finite-state machine software tools, version 3.6 (1998)

by M Mohri, F Pereira, M Riley