in reply to finite automata
Ok, I'm told (by someone who emailed me for help with the same program) that it's coursework for the "Theory of Computation" unit from the BSc in Computer Science from Oxford University (so at least we're being spamming by the cream of British Academia!)
The page for that course is here. One slight discrepancy tho' - Oxford doesn't give BScs - it only gives BAs.
Where do we go from here?--
"The first rule of Perl club is you don't talk about Perl club."