Loading...
Please wait, while we are loading the content...
Similar Documents
9 Tree Transformations
| Content Provider | Scilit |
|---|---|
| Author | Denecke, Klaus Wismath, Shelly L. |
| Copyright Year | 2018 |
| Description | Our definition of a hypersubstitution, from Section 14.3, gave us a mapping which took operation symbols of one type or language to terms of that same type. Now we generalize this definition too, to include mappings from operation symbols of one language into terms of a second language. We also consider the corresponding tree transformations. We shall prove that the set of all tree transformations which are defined by hypersubstitutions of a given type forms a monoid with respect to the composition of binary relations, and that this monoid is isomorphic to the monoid of all hypersubstitutions of this type. We characterize transitivity, reflexivity and symmetry of tree transformations by properties of the corresponding hypersubstitutions. The results will be illustrated for type (2), with E = E2 = {f}. Book Name: Universal Algebra and Applications in Theoretical Computer Science |
| Related Links | https://content.taylorfrancis.com/books/download?dac=C2006-0-13519-4&isbn=9781315273686&doi=10.1201/9781315273686-41&format=pdf |
| Ending Page | 374 |
| Page Count | 6 |
| Starting Page | 369 |
| DOI | 10.1201/9781315273686-41 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 2018-10-03 |
| Access Restriction | Open |
| Subject Keyword | Book Name: Universal Algebra and Applications in Theoretical Computer Science Monoid Symmetry Symbols Illustrated Tree Transformations Hypersubstitutions |
| Content Type | Text |
| Resource Type | Chapter |
