Studying the separability relation between finite state machines.

Natalia Spitsyna Khaled El-Fakih Nina Yevtushenko

Published in: Softw. Test. Verification Reliab. (2007)

Keyphrases

finite state machines
finite state automata
model checking
hidden markov models
regular expressions
knowledge base
dimensionality reduction
digital circuits
neural network
data analysis
natural language processing
text mining
data management
regular languages