Trabalho de Formais

Quem for se arriscar a fazer o trabalho de formais em uma linguagem diferente de java vai achar esse link muito interessante. É um artigo da Wikipedia sobre o endereço de email (está em inglês) e contém as especificações bem direitinho. Mão na roda.