Proof of Correctness of a Direct Construction of DFA from Regular Expression.

S. Ramesh Babu Amitabha Sanyal G. Venkatesh

Published in: Int. J. Comput. Math. (1997)

Keyphrases

regular expressions
deterministic finite automata
pattern matching
finite automata
query language
semistructured data
xml schema
cost model
string matching
regular path queries
provably correct
query evaluation
static analysis
expressive power
matching algorithm
databases
data sets
graph databases
rdf data
data model