Sign in

Further results on bilinear behavior formulation of finite state machines.

Jumei YueYongyi YanZengqiang ChenHe Deng
Published in: Sci. China Inf. Sci. (2022)
Keyphrases
  • finite state machines
  • cellular automaton
  • model checking
  • finite state automata
  • state transition
  • hidden markov models
  • integrity constraints
  • data sets
  • databases
  • regular expressions