Rename my-first-dfa to my-first-dfa.pl