Efficient State Space Reduction for Automata by Fair Simulation.

Jin Yi Wenhui Zhang

Published in: FSEN (2007)

Keyphrases

query language
space reduction
finite state machines
real time
mathematical model
simulation model
information systems
optimal solution
natural language
expert systems