Generalized Hypersubstitutions of Many-Sorted Algebras

Dawan Chumpungam, Sorasak Leeratanavalee


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 many-sorted algebras. We define the $I$-sortede set of all $\Sigma$-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.

Full Text: PDF


  • There are currently no refbacks.

The Thai Journal of Mathematics organized and supported by The Mathematical Association of Thailand and Thailand Research Council and the Center for Promotion of Mathematical Research of Thailand (CEPMART).

Copyright 2020 by the Mathematical Association of Thailand.

All rights reserve. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, without the prior permission of the Mathematical Association of Thailand.

|ISSN 1686-0209|