  The classical notion of a k-automatic subset of the natural numbers is here
extended to that of an F-automatic subset of an arbitrary finitely generated
abelian group $\Gamma$ equipped with an arbitrary endomorphism F. This is
applied to the isotrivial positive characteristic Mordell-Lang context where F
is the Frobenius action on a commutative algebraic group G over a finite field,
and $\Gamma$ is a finitely generated F-invariant subgroup of G. It is shown
that the F-subsets of $\Gamma$ introduced by the second author and Scanlon are
F-automatic. It follows that when G is semiabelian and X is a closed subvariety
then X intersect $\Gamma$ is F-automatic. Derksen's notion of a k-normal subset
of the natural numbers is also here extended to the above abstract setting, and
it is shown that F-subsets are F-normal. In particular, the X intersect
$\Gamma$ appearing in the Mordell-Lang problem are F-normal. This generalises
Derksen's Skolem-Mahler-Lech theorem to the Mordell-Lang context.
