Web Grammars and Several Graphs

This paper is concerned with the class of web grammars introduced by Pfaltz Rosenfeld and Montanari. In this paper, we show that context-sensitive web grammar cannot erase arcs, and monotone context-sensitive web grammar can erase arcs but cannot erase any vertices and they satisfy the condition |@a|@?|@b| in the rules @a@?@b. Then some hierarchical results hold, when grammars are normal and nonnormal. Normal grammars have rules that each vertex to be rewritten has exactly one image in the right member of the rule; nonnormal ones have rules that some vertices have two more images. Also, it is shown that there exists a complete grammar which generates some types of Eulerian graphs, line graphs and 3-connected graphs.

[1]  H. Whitney Non-Separable and Planar Graphs. , 1931, Proceedings of the National Academy of Sciences of the United States of America.

[2]  R. Narasimhan,et al.  Labeling Schemata and Synctactic Descriptions of Pictures , 1964, Inf. Control..

[3]  Azriel Rosenfeld,et al.  Web Grammars , 1969, IJCAI.

[4]  Frank Harary,et al.  Graph Theory , 2016 .

[5]  Russell A. Kirsch,et al.  Computer Interpretation of English Text and Picture Patterns , 1964, IEEE Trans. Electron. Comput..

[6]  Ugo Montanari,et al.  Separable Graphs, Planar Graphs and Web Grammars , 1970, Inf. Control..

[7]  Alan C. Shaw,et al.  A Formal Picture Description Scheme as a Basis for Picture Processing Systems , 1969, Inf. Control..

[8]  H. Whitney Non-Separable and Planar Graphs. , 1931, Proceedings of the National Academy of Sciences of the United States of America.

[9]  A. C. Shaw,et al.  Linguistic methods in picture processing: a survey , 1899, AFIPS Fall Joint Computing Conference.

[10]  Michael F. Dacey,et al.  The syntax of a triangle and some other figures , 1970, Pattern Recognit..