A Tool to Assist the Compiler Construction Instructor in Checking the Equivalence of Specifications Based on Regular Expressions.
Raúl Benito-MontoroXukai ChenJosé Luis SierraPublished in: SIIE (2021)
Keyphrases
- regular expressions
- pattern matching
- finite automata
- finite state machines
- deterministic finite automata
- semistructured data
- query language
- tree automata
- xml schema
- query containment
- regular languages
- matching algorithm
- query evaluation
- general purpose
- regular path queries
- databases
- expressive power
- business intelligence
- graph databases
- special case