dc.contributor.author | Wand, Mitchell | en_US |
dc.date.accessioned | 2004-10-04T14:45:16Z | |
dc.date.available | 2004-10-04T14:45:16Z | |
dc.date.issued | 1971-05-01 | en_US |
dc.identifier.other | AIM-216 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/6190 | |
dc.description.abstract | The closure of an algebra is defined as a generalization of the semigroup of a finite automation. Pretheories are defined as a subclass of the closed algebras, and the relationship between pretheories and the algebraic theories of Lawrence [1963] is explored. Finally, pretheories are applied to the characterization problem of finite state transformations on trees, solving an open problem of Thatcher [1969]. | en_US |
dc.format.extent | 11970400 bytes | |
dc.format.extent | 1065264 bytes | |
dc.format.mimetype | application/postscript | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en_US | |
dc.relation.ispartofseries | AIM-216 | en_US |
dc.title | Theories, Pre-Theories and Finite State Transformations on Trees | en_US |