The Myhill-Nerode Theorem Based on Regular Expressions.
Chunhan WuXingyuan ZhangChristian UrbanPublished in: Arch. Formal Proofs (2011)
Keyphrases
- regular expressions
- pattern matching
- query language
- finite automata
- semistructured data
- deterministic finite automata
- regular languages
- xml schema
- regular path queries
- tree automata
- matching algorithm
- query evaluation
- data mining
- context free grammars
- graph databases
- graph data
- expressive power
- data sources
- domain knowledge
- special case
- databases
- bit parallel