Modular Decomposition of Hierarchical Finite State Machines.

Oliver Biggar Mohammad Zamani Iman Shames

Published in: CoRR (2021)

Keyphrases

finite state machines
finite state automata
hierarchical decomposition
model checking
digital circuits
hierarchical representation
functional decomposition
hidden markov models
hierarchical structure
regular expressions
database
decomposition method
modular structure
multiresolution
hierarchical model