Generalized hypersubstitutions of many-sorted algebras
© 2019 by the Mathematical Association of Thailand. All rights reserved. The concept of many-sorted algebras or heterogeneous algebras is useful for abstract data type specifications in Theoretical Computer Science. It is used to explain for abstract data types. Modules and vector spaces are example...
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | 雜誌 |
| 出版: |
2020
|
| 主題: | |
| 在線閱讀: | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85073319803&origin=inward http://cmuir.cmu.ac.th/jspui/handle/6653943832/67905 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 總結: | © 2019 by the Mathematical Association of Thailand. All rights reserved. The concept of many-sorted algebras or heterogeneous algebras is useful for abstract data type specifications in Theoretical Computer Science. It is used to explain for abstract data types. Modules and vector spaces are examples of many-sorted algebras. In this paper we extend the concept of a generalized hypersubstitution from one-sorted algebras or homogeneous algebras to manysorted algebras. We define the I-sorted set of all Σ-generalized hypersubstitutions on special type and define a binary operation on this set. We show that this set together with the binary operation forms a monoid. |
|---|