中文摘要：

采用形式语言的方法,研究了移动地图制图的句法模型。剖析了移动地图制图的过程,将句法模型定位在制图的逻辑演算层面;结合地图表达的层次性和递归性特征,将移动地图制图的句法结构抽象为＂制图词汇＋句法规则＂的最简形式。在制图词汇方面,建立了制图词汇的分类体系,并重点对空间关系谓词系统进行了建模;在句法规则方面,描述了句法操作规则和不同层次的句法单位描述规则。探讨了句法模型的编译流程和关键技术,并通过试验对移动地图制图句法模型的可行性进行了验证。句法模型的本质是一种使用有限规则和词汇动态生成不同地图表达形式的形式语言语法,可作为一种高阶的人机交互制图接口。

英文摘要：

Using the method of formal language （FL）, the syntax model of mobile map generation is studied. The syntax model is located in the level of logical calculus of map generation based on the analysis of its process. Combined the hierarchical and recursive characteristics of map representation, the simplest form of syntax structure is abstracted as carto-lexicons and syntax-rules. The classification system of carto-lexicons is established as well as the model of the spatial relation predicate system, and the map operation rules and rules of different levels of syntactic units are discussed. The compilation process and key techniques of the syntax model are discussed, and the feasibility of the model is verified through mobile maps generation experiment. The essence of the model is a kind of formal language grammar, which uses finite rules and lexicons to generate maps automatically, as well as a kind of high-level cartography interface of human-computer interactive.