Vladimir Shtrakov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We introduce the separable sets of variables for trees and tree au-tomata. If a set Y of input variables is inseparable for a tree and an automaton then there a non empty family of distributive sets of Y. It is shown that if a tree t has " many " inseparable sets with respect to a tree automaton A then there is an effective way to reduce the complexity of A(More)
  • 1