An algebraic formulation of knuthian semantics

The formal power of one-visit attribute grammars

“…This paper is based on and continues the work of Duske e.a. [1][2][3][4][5][6][7][8][9][10]. Our results answer the question (which we asked ourselves when reading El0-]) whether both the L and the 1 S restriction are necessary in their characterization result.…”

“…for every tree t=t(a~, ..., a,,), re>O, cb contains the function f,: V'~V such that f(tl .... , t,,)= t(tl,..., t,,). For a still more formal description see [7].…”