Premetto che ho già risolto così:
codice:
b=navigator.userAgent;
version=b.substring(b.lastIndexOf("/")+1, b.length);
version=parseInt(b);
In pratica da una stringa tipo:

Mozilla/5.0 (Windows; U; Windows NT 5.1; it; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3

estrapolo l'ultima parte, "2.0.0.3", e infine la converto in numero.



Giusto per scopo didattico, come avrei potuto fare la stessa cosa con le regexp?