A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
An algebraic characterization of frontier testable tree languages
1996
Theoretical Computer Science
The class of frontier testable (i.e., reverse definite) tree languages is characterized by a !inite set of pseudoidentities for tree algebras, which are introduced here for this characterization. An efficient algorithm is presented that decides whether a given tree automaton recognizes a frontier testable tree language. The algorithm runs in time O(mn3 + m*n*), where m is the cardinality of the alphabet and n is the number of states of the automaton. * *This is ofh called 'reverse deli&e', see
doi:10.1016/0304-3975(95)00131-x
fatcat:5nsyzhg4lbdfbgtwjfkwcknwlq