Theories, Pre-Theories and Finite State Transformations on Trees
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...
| Hlavní autor: | |
|---|---|
| Jazyk: | en_US |
| Vydáno: |
2004
|
| On-line přístup: | http://hdl.handle.net/1721.1/6190 |