From Wikipedia, the free encyclopedia
|This article does not cite any sources. (January 2007) (Learn how and when to remove this template message)|
Given a pair of node-labeled trees and , a mapping from the nodes of to the nodes of is a tree homomorphism if the following conditions hold:
- maps the root of to the root of ,
- if node is a child of node in , then is a child of in , and
- for every node , the label of in is the same as the label of in .