On the Classification of Visual Languages by Grammar Hierarchies

Abstract Visual language specification has been investigated for more than two decades now and many different formalisms for specifying and parsing visual languages have been invented. However, there has been little attempt to develop a systematic and comprehensive hierarchy of visual languages based on their formal properties. Given the importance of the Chomsky hierarchy for the theory of textual languages and the difficulty of comparing these many different visual language formalisms, it is clear that there is a need for such a hierarchy. We develop a hierarchy for visual languages and investigate the expressiveness and cost of parsing for classes defined therein. Although the hierarchy is based on the constraint multiset grammar formalism, we sketch how other visual language specification formalisms can be mapped into constraint multiset grammars so that a comparison is made possible. One consequence of our work is that a large class of ‘naturally occurring’ visual languages are inherently context-sensitive, so that the core of such a hierarchy has to be built around different forms of context-sensitivity.

[1]  J. Gips Shape grammars and their uses , 1974 .

[2]  Kent Wittenburg Predictive Parsing for Unordered Relational Languages , 1996 .

[3]  Eric J. Golin,et al.  Theory of visual languages , 1991, Journal of Visual Languages and Computing.

[4]  Eric J. Golin A method for the specification and parsing of visual languages , 1991 .

[5]  Louis Weitzman,et al.  Visual grammars and incremental parsing for interface languages , 1990, Proceedings of the 1990 IEEE Workshop on Visual Languages.

[6]  Kim Marriott Constraint multiset grammars , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[7]  Eric J. Golin,et al.  The specification of visual language syntax , 1990, J. Vis. Lang. Comput..

[8]  Martin Odersky,et al.  Building visual language parsers , 1991, CHI '91.

[9]  Genny Tortora,et al.  A predictive parser for visual languages specified by relation grammars , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

[10]  Ernst W. Mayr An Algorithm for the General Petri Net Reachability Problem , 1984, SIAM J. Comput..

[11]  Kim Marriott,et al.  Automatic construction of user interfaces from constraint multiset grammars , 1995, Proceedings of Symposium on Visual Languages.

[12]  Susan M. Üsküdarh Generating Visual Editors for Formally Specified Languages , 1994, VL.

[13]  Genny Tortora,et al.  Automatic parser generation for pictorial languages , 1993, Proceedings 1993 IEEE Symposium on Visual Languages.

[14]  Volker Haarslev Formal semantics of visual languages using spatial reasoning , 1995, Proceedings of Symposium on Visual Languages.

[15]  Bruno Courcelle,et al.  Graph Rewriting: An Algebraic and Logic Approach , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[16]  Genny Tortora,et al.  Graphs and Visual Languages for Visual Interfaces , 1992, Advanced Visual Interfaces.

[17]  Kim Marriott,et al.  A declarative specification and semantics for visual languages , 1991, J. Vis. Lang. Comput..

[18]  Kent Wittenburg Adventures in Multi-dimensional Parsing: Cycles and Disorders , 1993, IWPT.

[19]  Bernd Meyer,et al.  Pictures depicting pictures on the specification of visual languages by visual grammars , 1992, Proceedings IEEE Workshop on Visual Languages.

[20]  Norihiro Abe,et al.  Web Grammars and Several Graphs , 1973, J. Comput. Syst. Sci..