Results 1  10
of
27
The Syntax Definition Formalism SDF  Reference Manual
, 2001
"... SDF is a formalism for the definition of syntax which is comparable to BNF in some respect, but has a wider scope in that it also covers the definition... ..."
Abstract

Cited by 141 (24 self)
 Add to MetaCart
SDF is a formalism for the definition of syntax which is comparable to BNF in some respect, but has a wider scope in that it also covers the definition...
Statistical syntaxdirected translation with extended domain of locality
 In Proc. AMTA 2006
, 2006
"... A syntaxdirected translator first parses the sourcelanguage input into a parsetree, and then recursively converts the tree into a string in the targetlanguage. We model this conversion by an extended treetostring transducer that have multilevel trees on the sourceside, which gives our system m ..."
Abstract

Cited by 73 (12 self)
 Add to MetaCart
A syntaxdirected translator first parses the sourcelanguage input into a parsetree, and then recursively converts the tree into a string in the targetlanguage. We model this conversion by an extended treetostring transducer that have multilevel trees on the sourceside, which gives our system more expressive power and flexibility. We also define a direct probability model and use a lineartime dynamic programming algorithm to search for the best derivation. The model is then extended to the general loglinear framework in order to rescore with other features like ngram language models. We devise a simpleyeteffective algorithm to generate nonduplicate kbest translations for ngram rescoring. Initial experimental results on EnglishtoChinese translation are presented. 1
Nondeterministic algorithms
, 1967
"... ABSTRACT. Programs to solve combinatorial search problems may often be simply written by using multiplevalued functions. Such programs, although impossible to execute directly on conventional computers, may be converted in a mechanical way into conventional backtracking programs. The process is ill ..."
Abstract

Cited by 60 (2 self)
 Add to MetaCart
ABSTRACT. Programs to solve combinatorial search problems may often be simply written by using multiplevalued functions. Such programs, although impossible to execute directly on conventional computers, may be converted in a mechanical way into conventional backtracking programs. The process is illustrated with algorithms to find all solutions to the eight queens problem on the chessboard, and to find all simple cycles in a network. Two roads diverged in a yellow wood, And sorry I could not travel both And be one traveler, long I stood And looked down one as far as I could To where it beat in the undergrowth....Robert Frost All the time life is a fork. If you are straight up with yourself you don't have to decide which road to take. Your karma will look after that.George Harrison Nondeterministic algorithms are conceptual devices to simplify the design of backtracking algorithms [3] by allowing considerations of program bookkeeping required
A comparison of pebble tree transducers with macro tree transducers
 Acta Informatica
, 2003
"... Abstract. The npebble tree transducer was recently proposed as a model for XML query languages. The four main results on deterministic transducers are: First, (1) the translation τ of an npebble tree transducer can be realized by a composition of n + 1 0pebble tree transducers. Next, the pebble t ..."
Abstract

Cited by 37 (10 self)
 Add to MetaCart
Abstract. The npebble tree transducer was recently proposed as a model for XML query languages. The four main results on deterministic transducers are: First, (1) the translation τ of an npebble tree transducer can be realized by a composition of n + 1 0pebble tree transducers. Next, the pebble tree transducer is compared with the macro tree transducer, a wellknown model for syntaxdirected semantics, with decidable type checking. The 0pebble tree transducer can be simulated by the macro tree transducer, which, by the first result, implies that (2) τ can be realized by an (n+1)fold composition of macro tree transducers. Conversely, every macro tree transducer can be simulated by a composition of 0pebble tree transducers. Together these simulations prove that (3) the composition closure of npebble tree transducers equals that of macro tree transducers (and that of 0pebble tree transducers). Similar results hold in the nondeterministic case. Finally, (4) the output languages of deterministic npebble tree transducers form a hierarchy with respect to the number n of pebbles. 1
An errorcorrecting parse algorithm
 Communications of the ACM
, 1963
"... During the past few years, research into socalled ..."
Abstract

Cited by 19 (0 self)
 Add to MetaCart
During the past few years, research into socalled
Macro Tree Translations of Linear Size Increase are MSO Definable
 SIAM J. Comput
, 2001
"... Abstract. The first main result is that if a macro tree translation is of linear size increase, i.e., if the size of every output tree is linearly bounded by the size of the corresponding input tree, then the translation is MSO definable (i.e., definable in monadic secondorder logic). This gives a ..."
Abstract

Cited by 16 (6 self)
 Add to MetaCart
Abstract. The first main result is that if a macro tree translation is of linear size increase, i.e., if the size of every output tree is linearly bounded by the size of the corresponding input tree, then the translation is MSO definable (i.e., definable in monadic secondorder logic). This gives a new characterization of the MSO definable tree translations in terms of macro tree transducers: they are exactly the macro tree translations of linear size increase. The second main result is that given a macro tree transducer, it can be decided whether or not its translation is MSO definable, and if it is then an equivalent MSO transducer can be constructed. Similar results hold for attribute grammars, which define a subclass of the macro tree translations.
Presentation by tree transformation
 In IEEE COMPCON '97
, 1997
"... Every interactive system requires a presentation mechanism, to show the user the data it handles. Often, the relationship between the data and its presentation is complex; further, it is often mediated by astyle mechanism, allowing the user or a designer to describe how the data should be displayed. ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
Every interactive system requires a presentation mechanism, to show the user the data it handles. Often, the relationship between the data and its presentation is complex; further, it is often mediated by astyle mechanism, allowing the user or a designer to describe how the data should be displayed. It is a standing engineering challenge to develop a presentation model that is exible, handling many kinds of data and layout; powerful, giving the user extensive control over appearance; and e cient enough for interactive work. In this dissertation, we propose a model of presentation by tree transformation. Because information often has a hierarchical logical structure, trees are widely used to represent documents and other data. The layout or presentation of a document is also often modeled as a computation over a tree. But these trees are not generally identical. In other words, presentation can be seen as a mapping between trees. Casting it as a formal tree transformation o ers both expressive, compact style speci cations and e cient implementation. We present a general framework for presentation by tree transformation. It has been implemented as part of Ensemble, a software development environment and multimedia document system
Recursive Adaptable Grammars
 Master’s Thesis, Worchester Polytechnic Institute
, 1998
"... ContextFree Grammars (CFGs) are a simple and intuitively appealing formalism for the description of programming languages, but lack the computational power to describe many common language features. Over the past three decades, numerous extensions of the CFG model have been developed. Most of these ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
ContextFree Grammars (CFGs) are a simple and intuitively appealing formalism for the description of programming languages, but lack the computational power to describe many common language features. Over the past three decades, numerous extensions of the CFG model have been developed. Most of these extensions retain a CFG kernel, and augment it with a distinct facility with greater computational power. However, in all the most powerful CFG extensions, the clarity of the CFG kernel is undermined by the opacity of the more powerful extending facility. An intuitively appealing strategy for CFG extension is grammar adaptability, the principle that declarations in a program effectively modify the contextfree grammar of the programming language. An adaptable grammar is equipped with some formal means for modifying its own CFG kernel. Most previous adaptable grammar formalisms have, unfortunately, failed to realize the potential clarity of this concept. In this thesis, a representative samp...
A Pumping Lemma for Output Languages of Macro Tree Transducers
"... The concept of macro tree transducer is a formal model for studying properties of syntax directed translations and of functional languages which are based on primitive recursion. In this paper, for output languages of producing and nondeleting macro tree transducers, we introduce and prove a pumpi ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
The concept of macro tree transducer is a formal model for studying properties of syntax directed translations and of functional languages which are based on primitive recursion. In this paper, for output languages of producing and nondeleting macro tree transducers, we introduce and prove a pumping lemma. We apply this pumping lemma to gain two results: (1) there is no producing and nondeleting macro tree transducer which computes the set of all monadic trees with double exponential height as output and (2) there are hierarchies of producing and nondeleting macro tree transducers with respect to their number of functions. 1 Introduction Pumping lemmata are useful tools to prove that a given language L is not an element of a class L of formal languages, where L usually is defined by a class of grammars or translation schemes. Pumping lemmata have been investigated for different kinds of languages, for example string languages, tree languages, and graph languages. In this introduct...
A Parsing Algorithm That Extends Phrases
, 1980
"... This paper presents an algorithm that does this in two ways, one dealing with "right extension" and the other with "left recursion". A brief comparison with other parsing algorithms shows it to be related to the leftcorner parsing algorithm, but it is more flexible in the order that it permits phras ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
This paper presents an algorithm that does this in two ways, one dealing with "right extension" and the other with "left recursion". A brief comparison with other parsing algorithms shows it to be related to the leftcorner parsing algorithm, but it is more flexible in the order that it permits phrases to be combined. It has many of the properties of the sentence analyzers of Marcus and Riesbeck, but is independent of the language theories on which those programs are based.