By the paper's double-reversal identity $rightDeriv a f = reversal (leftDeriv a (reversal f))$: $reversal f$ is recognisable (transposition), so is $leftDeriv a (reversal f)$ (left-derivative closure), so is its reversal — hence $rightDeriv a f$ is recognisable.