Each arc-standard transition over a stack–buffer configuration is reinterpreted as a deterministic update of partial ordered trees:
- SHIFT creates a singleton tree anchored at the next buffer token and pushes it onto the stack.
- LEFTARC (stack [… ti tj], arc j → i) attaches ti as a left dependent subtree of the head-anchored tree tj.
- RIGHTARC (arc i → j) attaches tj as a right dependent subtree of ti.
The paper proves three properties:
- Projective characterization (Theorem 1). A single-headed dependency tree admits a rooted ordered representation with leaves in surface order and contiguous subtree yields if and only if it is projective: crossing arcs would force subtree yields to interleave.
- Transition correspondence (Theorem 2). Every arc-standard derivation of a projective tree yields a well-defined ordered tree; each step keeps contiguous yields and a unique lexical anchor.
- Recoverability (Theorem 3). The dependency arcs are uniquely recoverable from the final ordered tree, since each combination preserves the head's anchor and adds one dependent subtree.
Non-projective trees are handled in practice by pseudo-projective lifting before derivation and inverse decoding after recovery; the formal claim is specific to the projective case.
In the implementation study, the native actions of the Stanza transition-based constituency parser are replaced by SHIFT, LEFTARC, and RIGHTARC; the parser predicts the unlabeled ordered tree,
arcs are recovered deterministically, and the Stanza graph-based component assigns only the dependency labels.