Find link is a tool written by Edward Betts.
searching for Filling the tree 1 found (3 total)
alternate case: filling the tree
Regular tree grammar
exact match in snippet
find links to article
one hole in it; if S is such a context, S[t] denotes the result of filling the tree t into the hole of S. The tree language generated by G is the language