Further results on bilinear behavior formulation of finite state machines.

Jumei Yue Yongyi Yan Zengqiang Chen He 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