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

more »

... , 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.