Bottom-Up Derivatives of Tree Expressions

Samira Attou, Ludovic Mignot, Djelloul Ziadi

In this paper, we extend the notion of (word) derivatives and partial derivatives due to (respectively) Brzozowski and Antimirov to tree derivatives using already known inductive f…