The first displayed tree supplies the productions and , as well as an -parse tree producing . By assumption there is also an -parse tree producing . Substitute these trees as follows:The resulting yield is
The displayed trees provide -parse trees producing , , and , together with the same root productions as above. Thereforewhose yield is
Articles by others on the same topic
There are currently no matching articles.