A Procedure for Checking Equality of Regular Expressions.

Abraham Ginzburg

Published in: J. ACM (1967)

Keyphrases

regular expressions
pattern matching
semistructured data
xml schema
finite automata
tree automata
query language
regular path queries
regular languages
deterministic finite automata
context free grammars
query evaluation
matching algorithm
finite state machines
databases
graph databases
incomplete information