sig
  type state
  type symbol
  val transition :
    Finite_state_machine.S.state ->
    Finite_state_machine.S.symbol -> Finite_state_machine.S.state
end