作者
Michael A Arbib
发表日期
1969/1/1
出版商
Prentice-Hall, Inc.
简介
We study two-way tree automata modulo equational theories. We deal with the theories of Abelian groups (ACUM), idempotent commutative monoids (ACUI), and the theory of exclusive-or (ACUX), as well as some variants including the theory of commutative...
引用总数
学术搜索中的文章
MA Arbib - 1969