Abstract: It is well known that formal language theory plays an important role in the aevelopment of computer science,and so will be the research on two dimensional graph grammar formalisms, which is an extension of one dimensional string grammars. Based on a summa

Key words: Formal language, Graph grammar, Embedding problem, Grammar classfication, Membership problem