Login / Signup

A Categorical Framework For Finite State Machines.

Peter Hines
Published in: Math. Struct. Comput. Sci. (2003)
Keyphrases
  • finite state machines
  • main contribution
  • database
  • decision trees
  • hidden markov models
  • conceptual framework
  • real time
  • video sequences
  • lightweight
  • model checking
  • relational data
  • finite state automata