一个语言（非自然语言，人工语言，或者说已经被规范化了的语言）的确定并不在某个大厂或者某个不知名的人怎么说这个语言是什么，而在于这个语言如何被形式化，并且通常会形成了形式化的说明。
  
这种形式化的声明并不是诸如“汇编语言是……。”这样一句话，这还少，不足以完全确定一门语言的面目。具体的可以看各种语言标准。
  
GNU AS的文档已经完成了一种通用的对不同的机器上的汇编语言的形式化。而所谓的有两种语法，一种是……，一种是……。这没有任何的实践上的现实效力，也没有任何科学意义。逻辑上又叫“循环论证”。
--
FROM 202.108.53.*