Ekaterina Zhuchko

Symbolic Derivatives: Regularity and �-Regularity Modulo Theories

Symbolic derivatives support lazy unfolding of formulas in a logic over words, such as extended regular expressions, into symbolic automata . Symbolic automata are finite state automata that support potentially infinite alphabets, such as the set of rational numbers, generally ap...