Decidability of a Class of Dual Communicating Finite State Machines.

Hassan Mountassir

Published in: ACM SIGOPS Oper. Syst. Rev. (1996)

Keyphrases

finite state machines
model checking
regular languages
finite state automata
database
hidden markov models
neural network
data analysis
query processing
knowledge representation
linear programming
class labels
query answering