作者
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...
引用总数
19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320241251088488715892125816108810416812131511129868811107276