Module type Finite_state_machine.S

module type S = sig .. end

type state 

type symbol 

val transition : state ->
       symbol -> state