Tree Automata and Essential Input Variables
<|reference_start|>Tree Automata and Essential Input Variables: We introduce and study the essential inputs (variables) for terms (trees) and tree automata.<|reference_end|>
@article{shtrakov2007tree,
    title={Tree Automata and Essential Input Variables},
    author={Slavcho Shtrakov},
    journal={J. Contributions to General Algebra, v.13, Verlag Johannes Heyn,
  Klagenfurt, 2001, 309-319 p},
    year={2007},
    archivePrefix={arXiv},
    eprint={cs/0702129},
    primaryClass={cs.CC cs.DM}
}