Certified Derivative-Based Parsing of Regular Expressions.
Raul LopesRodrigo Geraldo RibeiroCarlos CamarãoPublished in: SBLP (2016)
Keyphrases
- regular expressions
- context free grammars
- pattern matching
- finite automata
- query language
- semistructured data
- natural language processing
- xml schema
- natural language
- tree automata
- regular path queries
- deterministic finite automata
- finite state machines
- regular languages
- matching algorithm
- special case
- context free
- semi structured