SEMANTICS OF TREES

Authors
EHRENFEUCHT A ROZENBERG G SALOMAA K
Citation
A. Ehrenfeucht et al., SEMANTICS OF TREES, Mathematical systems theory, 27(2), 1994, pp. 159-181
Citations number
4
Categorie Soggetti
System Science","Mathematics, Pure","Computer Science Theory & Methods",Mathematics
Journal title
Mathematical systems theory → ACNP
ISSN journal
00255661
Volume
27
Issue
2
Year of publication
1994
Pages
159 - 181
Database
ISI
SICI code
0025-5661(1994)27:2<159:SOT>2.0.ZU;2-C
Abstract
We introduce F-structures and investigate interpretations of trees in F-structures. Thus trees are viewed as schemes of computations in F-st ructures. Every tree is shown to be strongly equivalent to some chain- free tree. This enables us to use the grammatical codings of [2] to de fine formulas for arbitrary interpreted trees. We also introduce a syn tactic way to compute the values of interpreted trees.