... References [1] A V Aho and J D Ullman Translations on a context-free grammar Inf Control, 19:439-475, 1971 C d d a a ° b [2] M Bauderon and B Courcelle Graph expressions and graph rewritings Math Syst ... L S Levy, and M Takahashi Tree adjunct grammars J Comput Syst Sci., 10(1), 1975 [7] T Kasami, H Seki, and M Fujii Generalized context-free grammars, multiple context-free grammars and head grammars ... (q,d(k), w) then if Xj E VN for each p' in Q and not in a i P call and the procedure C determines P ' and F where for each production A -~ X1 Xn in P and each p E Q we call c ( ( x , a, ¢) (Xl,...