万维网
万维网联盟给出的合法名的形式化定义如下：