This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Use of Tree Derivatives and a Sample Support Parameter for Inferring Tree Systems
January 1982 (vol. 4 no. 1)
pp. 25-34
Barry Levine, Department of Computer Science, Oregon State University, Corvallis, OR 97331.
Tree systems have been studied in the theoretical setting as an extension of finite automata. They have been found useful in the practical domain when applied to syntactic pattern recognition. The practical applications of tree systems have motivated the examination of inference techniques for tree grammars and tree automata. In this paper we present a tree automaton inference algorithm which incorporates three concepts-tree derivatives, grammatical expansion, and inferential strength. Tree derivatives are used for comparing tree forms. Grammatical expansion is a feedback mechanism which effectively enlarges the user sample. An inferential strength parameter is input by the user to indicate the amount of support required from the sample for inferences. The algorithm is also applied for inferring finite-state machines. Finally, we address an open problem posed by Joshi and Levy by demonstrating the use of our algorithm for the design of programming languages.
Citation:
Barry Levine, "The Use of Tree Derivatives and a Sample Support Parameter for Inferring Tree Systems," IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 4, no. 1, pp. 25-34, Jan. 1982, doi:10.1109/TPAMI.1982.4767191
Usage of this product signifies your acceptance of the Terms of Use.