Quantitative Verification of Stochastic Regular Expressions.

Sinem Getir Yaman Esteban Pavese Lars Grunske

Published in: Fundam. Informaticae (2021)

Keyphrases

regular expressions
pattern matching
finite automata
semistructured data
query language
tree automata
xml schema
deterministic finite automata
regular path queries
model checking
regular languages
graph databases
query evaluation
matching algorithm
finite state machines
data analysis
metadata