Regular Expression Types for XML

We propose regular expression types as a foundation for statically typed XML processing languages. Regular expression types, like most schema languages for XML, introduce regular expression notations such as repetition (*), alternation (|), etc., to describe XML documents. The novelty of our type system is a semantic presentation of subtyping, as inclusion between the sets of documents denoted by two types. We give several examples illustrating the usefulness of this form of subtyping in XML processing. The decision problem for the subtype relation reduces to the inclusion problem between tree automata, which is known to be EXPTIME-complete. To avoid this high complexity in typical cases, we develop a practical algorithm that, unlike classical algorithms based on determinization of tree automata, checks the inclusion relation by a top-down traversal of the original type expressions. The main advantage of this algorithm is that it can exploit the property that type expressions being compared often share portions of their representations. Our algorithm is a variant of Aiken and Murphy\u27s set-inclusion constraint solver, to which are added several new implementation techniques, correctness proofs, and preliminary performance measurements on some small programs in the domain of typed XML processing

Top-down tree transducers with regular look-ahead

Top-down tree transducers with regular look-ahead are introduced. It is shown how these can be decomposed and composed, and how this leads to closure properties of surface sets and tree transformation languages. Particular attention is paid to deterministic tree transducers

Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity

Compositions of tree-walking tree transducers form a hierarchy with respect to the number of transducers in the composition. As main technical result it is proved that any such composition can be realized as a linear bounded composition, which means that the sizes of the intermediate results can be chosen to be at most linear in the size of the output tree. This has consequences for the expressiveness and complexity of the translations in the hierarchy. First, if the computed translation is a function of linear size increase, i.e., the size of the output tree is at most linear in the size of the input tree, then it can be realized by just one, deterministic, tree-walking tree transducer. For compositions of deterministic transducers it is decidable whether or not the translation is of linear size increase. Second, every composition of deterministic transducers can be computed in deterministic linear time on a RAM and in deterministic linear space on a Turing machine, measured in the sum of the sizes of the input and output tree. Similarly, every composition of nondeterministic transducers can be computed in simultaneous polynomial time and linear space on a nondeterministic Turing machine. Their output tree languages are deterministic context-sensitive, i.e., can be recognized in deterministic linear space on a Turing machine. The membership problem for compositions of nondeterministic translations is nondeterministic polynomial time and deterministic linear space. The membership problem for the composition of a nondeterministic and a deterministic tree-walking tree translation (for a nondeterministic IO macro tree translation) is log-space reducible to a context-free language, whereas the membership problem for the composition of a deterministic and a nondeterministic tree-walking tree translation (for a nondeterministic OI macro tree translation) is possibly NP-complete

Bottom-up and top-down tree transformations - a comparison

The top-down and bottom-up tree transducer are incomparable with respect to their transformation power. The difference between them is mainly caused by the different order in which they use the facilities of copying and nondeterminism. One can however define certain simple tree transformations, independent of the top-down/bottom-up distinction, such that each tree transformation, top-down or bottom-up, can be decomposed into a number of these simple transformations. This decomposition result is used to give simple proofs of composition results concerning bottom-up tree transformations.\ud \ud A new tree transformation model is introduced which generalizes both the top-down and the bottom-up tree transducer

Three hierarchies of transducers

Composition of top-down tree transducers yields a proper hierarchy of transductions and of output languages. The same is true for ETOL systems (viewed as transducers) and for two-way generalized sequential machines

O(\alpha_s) QCD Corrections to Spin Correlations in e−e+→ttˉe^- e^+ \to t \bar t process at the NLC

Using a Generic spin basis, we present a general formalism of one-loop radiative corrections to the spin correlations in the top quark pair production at the Next Linear Collider, and calculate the O(\alpha_s) QCD corrections under the soft gluon approximation. We find that: (a) in Off-diagonal basis, the $O(\alpha_s)$ QCD corrections to $e_L^- e^+$ ($e_R^- e^+$) scattering process increase the differential cross sections of the dominant spin component $t_{\uparrow}\bar{t}_{\downarrow}$ ($t_{\downarrow}\bar{t}_{\uparrow}$) by $\sim 30$ and $\sim (0.1$ depending on the scattering angle for $\sqrt{s}=400 GeV$ and 1 TeV, respectively; (b) in {Off-diagonal basis} (Helicity basis), the dominant spin component makes up 99.8% ($\sim 53$) of the total cross section at both tree and one-loop level for $\sqrt{s}=400 GeV$, and the Off-diagonal basis therefore remains to be the optimal spin basis after the inclusion of $O(\alpha_s)$ QCD corrections.Comment: 12 pages, 4 figures, revised version (a few print mistakes are corrected, some numerical results are modified, and Fig.4 is added