Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata.

Published in: FoSSaCS (2017)

Keyphrases

regular languages
regular expressions
partial derivatives
finite automata
pattern matching
target function
xml schema
query language
model checking
context free grammars
query evaluation
matching algorithm
decision problems
database
finite state machines
grammatical inference
context free
xml documents
databases