I am using Maple 15. For simple cases the translator works, but I
never used it for MMA programs (and do not know, which versions or
constructs are covered).
For the above example I get a different reply:
"(your stuff from above)"; # i.e. entred as string to Maple
convert(%, FromMma); # should do the translation
results in
Error, invalid terms in product: df(`a_?NumericQ`,n_Integer) := 1
When I remove your line breaks (but not caring for blanks),
then I get something different and readable, but nothing
that Maple understands.