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