Braced languages and a model of translation for context-free strings: theory and practice