Monoids of non-halting programs with tests
| Autor: | Purandar Bhaduri, K. V. Krishna, Gayatri Panicker |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Class (set theory)
TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES Algebra and Number Theory 010102 general mathematics 0102 computer and information sciences Composition (combinatorics) 01 natural sciences Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES 010201 computation theory & mathematics Mathematics::Category Theory ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION Computer Science::Programming Languages Order (group theory) Canonical form 0101 mathematics Construct (philosophy) Mathematics |
| Zdroj: | Algebra universalis. 79 |
| ISSN: | 1420-8911 0002-5240 |
| DOI: | 10.1007/s00012-018-0490-3 |
| Popis: | In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, the notion of C-sets was introduced in the literature by considering the tests from an abstract C-algebra. This paper extends the notion of C-sets to C-monoids which include the composition of programs as well as composition of programs with tests. For the class of C-monoids where the C-algebras are adas a canonical representation in terms of functional C-monoids is obtained. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink