... as an input, starts from the initial state with its head scanning the root node of an input. Ac- cording to the current state and the label of the scanned node, it transforms an input tree into ... locally satisfies the functional schemata of all productions in sp. M transforms r into the yield of t, i.e., the terminal string ob- talned by concatenating the labels of leaves, in a top-down ... Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University 1-1 Machikaneyama, Toyonaka, Osaka 560, Japan :~ Graduate School of Information Science, Advanced Institute...