Abstract. Recently, Yamamoto presented a new method for the conversion from regular expressions (REs) to non-deterministic finite automata (NFA) based on the Thompson ε-NFA (A T ). The A T automaton has two quotients discussed: the suffix automaton A suf and the prefix automaton, Apre. Eliminating ε-transitions in A T , the Glushkov automaton (Apos) is obtained. Thus, it is easy to see that A suf and the partial derivative automaton (A pd ) are the same. In this paper, we characterise the Apre automaton as a solution of a system of left RE equations and express it as a quotient of Apos by a specific left-invariant equivalence relation. We define and characterise the right-partial derivative automaton ( ← − A pd ). Finally, we study the average size of all these constructions both experimentally and from an analytic combinatorics point of view.