A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions.

Chunhan Wu Xingyuan Zhang Christian Urban

Published in: J. Autom. Reason. (2014)

Keyphrases

regular expressions
pattern matching
query language
finite automata
semistructured data
regular path queries
tree automata
query evaluation
deterministic finite automata
matching algorithm
xml schema
regular languages
graph data
finite state machines
bit parallel
database