Recursively enumerable sets of polynomials over a finite field are Diophantine