From Tree Automata to Rational Tree Expressions
From Tree Automata to Rational Tree Expressions is a scholarly work, published in 2018 in ''International Journal of Foundations of Computer Science''. The main subjects of the publication include program analysis, automaton, recursion, cellular automaton, model-driven engineering, expression, rational number, Tree automaton, theoretical computer science, tree, discrete mathematics, formal methods, mathematics, and computer science. First, authors define rational expression equation systems and authors propose a substitution based method to find the unique solution.