>
Fa   |   Ar   |   En
   A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata  
   
نویسنده Bjorklund Johanna ,Cleophas Loek
منبع journal of universal computer science - 2016 - دوره : 22 - شماره : 2 - صفحه:180 -196
چکیده    We present a taxonomy of algorithms for minimising deterministic bottomup tree automata (dtas) over ranked and ordered trees. automata of this type and its extensions are used in many application areas, including natural language processing (nlp) and code generation. in practice, dtas can grow very large, but minimisation keeps things manageable. the proposed taxonomy serves as a unifying framework that makes algorithms accessible and comparable, and as a foundation for efficient implementation. taxonomies of this type are also convenient for correctness and complexity analysis, as results can frequently be propagated through the hierarchy. the taxonomy described herein covers a broad spectrum of algorithms, ranging from novel to well-studied ones, with a focus on computational complexity.
کلیدواژه deterministic bottom-up tree automata ,automata minimisation ,algorithm taxonomies
آدرس Umea University, Sweden, Umea University, Sweden. Stellenbosch University, South Africa
پست الکترونیکی loek@fastar.org
 
     
   
Authors
  
 
 

Copyright 2023
Islamic World Science Citation Center
All Rights Reserved