On Kleene algebras of ternary co-relations

Dolinka Igor: On Kleene algebras of ternary co-relations. In: Acta cybernetica, (14) 4. pp. 583-595. (2000)

Előnézet

Cikk, tanulmány, mű cybernetica_014_numb_004_583-595.pdf Letöltés (758kB) | Előnézet

Absztrakt (kivonat)

In this paper we investigate identities satisfied by a class of algebras made of ternary co-relations - contravariant ("arrow-reversed") analogues of binary relations. These algebras are equipped with the operations of union, co-relational composition, iteration, converse and the empty co-relation and the so-called diagonal co-relation as constants. Our first result is that the converse-free part of the corresponding equational theory consists precisely of Kleenean equations for relations, or, equivalently, for (regular) languages. However, the rest of the equations, involving the symbol of the converse, are relatively axiomatized by involution axioms only, so that the co-relational converse behaves more like the reversal of languages, rather than the relational converse. Actually, the language reversal is explicitely used to prove this result. Therefore, we conclude that co-relations can offer a better framework than relations for the mathematical modeling of formal languages, as well as many other notions from computer science.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2000
Kötet:	14
Szám:	4
ISSN:	0324-721X
Oldalak:	pp. 583-595
Nyelv:	angol
Kiadás helye:	Szeged
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38510/
Kulcsszavak:	Számítástechnika, Algebra
Megjegyzések:	Bibliogr.: p. 594-595. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.01. Matematika 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:25
Utolsó módosítás:	2022. jún. 14. 10:46
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12651

Bővebben:

Tétel nézet