Counting Minimal Symmetric Difference NFAs.

Brink van der Merwe Mark Farag Jaco Geldenhuys

Published in: LATA (2013)

Keyphrases

symmetric difference
consistent query answering
hausdorff distance
revision operators
point sets
regular expressions
prime implicants
finite automata
prime implicates
boolean functions
knowledge base
matching algorithm