Tree Automata and Essential Input Variables
Abstract
Description
We introduce and study the essential inputs (variables) for terms (trees) and tree automata.
10 pages, 2 figures, 60th Workshop on General Algebra, June 22-25, 2000, TU Dresden
10 pages, 2 figures, 60th Workshop on General Algebra, June 22-25, 2000, TU Dresden