Denne side er et eksempel på, hvordan man - meget basalt - kan formalisere mail-adresser. I bunden af siden præsenteres 50 genererede adresser, der meget gerne må høstes af botter. Hvis disse adresser rent faktisk findes på de tilfældige hosts, beklager jeg dybt!
Pico-sproget for mail-adresser er som skematiseret nedenfor. Jeg er absolut ikke sikker på, at det er en fornuftig formalisme, men hovedparten af de genererede adresser ser realistiske (og obskure) ud. Tegnforklaring findes umiddelbart under sproget.
| mail_address | := | user + '@' + host |
|---|---|---|
| user | := | initials | ((firstname + '.')? + lastname) |
| initials | := | [a-z]{2,4} |
| firstname | := | firstname_female | firstname_male |
| firstname_female | := | 'kirsten' | 'anne' | 'hanne' | 'mette' | 'anna' | 'helle' | 'karen' | 'susanne' | 'lene' | 'inge' | 'inger' | 'else' | 'marianne' | 'bente' | 'maria' | 'lone' | 'pia' | 'jette' | 'camilla' | 'charlotte' |
| firstname_male | := | 'jens' | 'peter' | 'lars' | 'michael' | 'niels' | 'henrik' | 'soeren' | 'hans' | 'joergen' | 'thomas' | 'jan' | 'martin' | 'erik' | 'ole' | 'christian' | 'per' | 'anders' | 'morten' | 'jesper' | 'poul' |
| lastname | := | 'jensen' | 'nielsen' | 'hansen' | 'pedersen' | 'andersen' | 'christensen' | 'larsen' | 'soerensen' | 'rasmussen' | 'joergensen' | 'petersen' | 'madsen' | 'kristensen' | 'olsen' | 'thomsen' | 'christiansen' | 'poulsen' | 'johansen' | 'knudsen' | 'mortensen' |
| host | := | ip | ((subdomain + '.')? + domain + '.' + tld) |
| ip | := | [1-255] + ('.' + [0-255]){3} |
| subdomain | := | domain + '.' |
| domain | := | ('business' | 'altavista' | 'loans' | 'tom' | 'express' | 'find' | 'bingo' | 'wallstreet' | 'sky' | 'forsalebyowner' | 'drugs' | 'cinema' | 'military' | 'question' | 'fruits' | 'push' | 'phonecalls' | 'speaker' | 'cars' | 'mtv' | 'madeira' | 'porno' | 'trade' | 'bettingservice' | 'e-privacy' | 'lakenorman' | 'planetrock' | 'download' | 'any' | 'men' | 'tv' | 'joke' | 'diary' | 'grocery' | 'eguia' | 'holidayireland' | 'eresolution' | 'wallstadvice' | 'eloans' | 'hillary2000' | 'raging' | 'search' | 'ez-homeloans' | 'tidy' | 'venture-capital' | 'watermelon') + ('-' + domain)? |
| tld | := | 'aero' | 'biz' | 'cat' | 'com' | 'coop' | 'edu' | 'gov' | 'info' | 'int' | 'jobs' | 'mil' | 'mobi' | 'museum' | 'name' | 'net' | 'org' | 'pro' | 'travel' | 'ac' | 'ad' | 'ae' | 'af' | 'ag' | 'ai' | 'al' | 'am' | 'an' | 'ao' | 'aq' | 'ar' | 'as' | 'at' | 'au' | 'aw' | 'ax' | 'az' | 'ba' | 'bb' | 'bd' | 'be' | 'bf' | 'bg' | 'bh' | 'bi' | 'bj' | 'bm' | 'bn' | 'bo' | 'br' | 'bs' | 'bt' | 'bv' | 'bw' | 'by' | 'bz' | 'ca' | 'cc' | 'cd' | 'cf' | 'cg' | 'ch' | 'ci' | 'ck' | 'cl' | 'cm' | 'cn' | 'co' | 'cr' | 'cu' | 'cv' | 'cx' | 'cy' | 'cz' | 'de' | 'dj' | 'dk' | 'dm' | 'do' | 'dz' | 'ec' | 'ee' | 'eg' | 'er' | 'es' | 'et' | 'eu' | 'fi' | 'fj' | 'fk' | 'fm' | 'fo' | 'fr' | 'ga' | 'gb' | 'gd' | 'ge' | 'gf' | 'gg' | 'gh' | 'gi' | 'gl' | 'gm' | 'gn' | 'gp' | 'gq' | 'gr' | 'gs' | 'gt' | 'gu' | 'gw' | 'gy' | 'hk' | 'hm' | 'hn' | 'hr' | 'ht' | 'hu' | 'id' | 'ie' | 'il' | 'im' | 'in' | 'io' | 'iq' | 'ir' | 'is' | 'it' | 'je' | 'jm' | 'jo' | 'jp' | 'ke' | 'kg' | 'kh' | 'ki' | 'km' | 'kn' | 'kr' | 'kw' | 'ky' | 'kz' | 'la' | 'lb' | 'lc' | 'li' | 'lk' | 'lr' | 'ls' | 'lt' | 'lu' | 'lv' | 'ly' | 'ma' | 'mc' | 'md' | 'mg' | 'mh' | 'mk' | 'ml' | 'mm' | 'mn' | 'mo' | 'mp' | 'mq' | 'mr' | 'ms' | 'mt' | 'mu' | 'mv' | 'mw' | 'mx' | 'my' | 'mz' | 'na' | 'nc' | 'ne' | 'nf' | 'ng' | 'ni' | 'nl' | 'no' | 'np' | 'nr' | 'nu' | 'nz' | 'om' | 'pa' | 'pe' | 'pf' | 'pg' | 'ph' | 'pk' | 'pl' | 'pm' | 'pn' | 'pr' | 'ps' | 'pt' | 'pw' | 'py' | 'qa' | 're' | 'ro' | 'ru' | 'rw' | 'sa' | 'sb' | 'sc' | 'sd' | 'se' | 'sg' | 'sh' | 'si' | 'sj' | 'sk' | 'sl' | 'sm' | 'sn' | 'so' | 'sr' | 'st' | 'su' | 'sv' | 'sy' | 'sz' | 'tc' | 'td' | 'tf' | 'tg' | 'th' | 'tj' | 'tk' | 'tl' | 'tm' | 'tn' | 'to' | 'tp' | 'tr' | 'tt' | 'tv' | 'tw' | 'tz' | 'ua' | 'ug' | 'uk' | 'um' | 'us' | 'uy' | 'uz' | 'va' | 'vc' | 've' | 'vg' | 'vi' | 'vn' | 'vu' | 'wf' | 'ws' | 'ye' | 'yt' | 'yu' | 'za' | 'zm' | 'zw' |
I det følgende er nogle genererede adresser lavet til links, hvor kun "user"-delen er linktekst.