Algebraic properties of derivation words

摘要

Derivation words introduced by Hart represent the canonical (leftmost) derivations ina phrase structure grammar and allow for a concrete realization to the categorical treatment of derivations due to Hotz. In this paper a simple self-embedding property of the domain and codomain functions of this realization will be established. This property can be used for simplifying most definitions and making the proofs much shorter.