Checking NFA equivalence with bisimulations up to congruence.

Filippo Bonchi Damien Pous

Published in: POPL (2013)

Keyphrases

regular expressions
string matching
finite state automata
deterministic finite automata
database
databases
neural network
artificial intelligence
three dimensional
face recognition
multiresolution
logic programming
consistency checking
interactive dynamic influence diagrams