摘要： 可视化是人机交互的主要形式，可视化语言是计算机科学中一个重要研究领域，文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征，介绍了可视化语言文法形式化描述体系的基本理论，分析了几种典型形式模型，并探讨了当前的主要研究内容和面临的挑战。

关键词: 可视化语言 文法 形式化描述方法 综述 计算机科学 人机交互 研究领域 形式模型 研究内容